-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathpasthacs.html
76 lines (59 loc) · 2.91 KB
/
pasthacs.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
---
layout: default
title: Past editions of HACS
date: 2024-11-27
---
<h3>HACS 2024</h3>
<p>
HACS 2024 was in Toronto, Canada on March 30–31 plus an optional "hack day" on the 25th.
</p>
<p><strong>Lead sponsors:</strong> <a href="https://www.amazon.com/">Amazon</a>, <a href="https://www.apple.com/">Apple</a>, <a href="https://www.google.com/">Google</a>, <a href="https://www.sandboxaq.com/">SandboxAQ</a>, <a href="https://signal.org/">Signal</a>.</p>
<p><strong>Other sponsors:</strong> <a href="https://www.nccgroup.com/">NCC Group</a>, <a href="https://paulkocher.com/">Paul Kocher</a>.</p>
<h3>HACS 2023</h3>
<p>
HACS 2023 was in Tokyo, March 30–31 plus an optional "hack day" on April 1.
The venue of HACS 2023 was <a href="https://ariake-hall.jp/">Ariake Central Tower Hall & Conference</a>.
You can read more about the workshop plans <a href="data/HACS_2023_Overview.pdf">here</a>.
</p>
<h3>HACS 2022</h3>
<p>
HACS 2022 was held in April 2022.
At HACS 2022, we consolidated the focus of the workshop to expand into formal
verification of security proofs, secure distributed computation, topics
relevant to cryptocurrencies and security issues at the hardware/software
boundary.
</p>
<p><strong>Lead sponsors:</strong> <a href="https://www.amazon.com/">Amazon</a>, <a href="https://www.apple.com/">Apple</a>, <a href="https://www.mpi-sp.org/">Max Planck Institute for Security and Privacy (MPI-SP)</a>, <a href="https://www.oracle.com/">Oracle</a>.</p>
<p><strong>Other sponsors:</strong> <a href="https://chaincode.com/">Chaincode Labs</a>, <a href="https://www.cloudflare.com/">CloudFlare</a>, <a href="https://paulkocher.com/">Paul Kocher</a>.</p>
<h3>HACS 2021</h3>
<p>
HACS 2021 was held in April 2021 as virtual event.
HACS 2021 further broadened the focus of the workshop to expand into formal
verification of security proofs, secure distributed computation, topics
relevant to cryptocurrencies and security issues at the hardware/software
boundary.
</p>
<h3>HACS 2020</h3>
<p>
HACS 2020 was held in January 2020 in New York City.
In addition to discussions around testing, formal verification, and generation of crypto code,
HACS 2020 broadened the focus of the workshop towards cryptographic protocols,
zero-knowledge proofs, and advanced implementation attacks.
</p>
<h3>HACS 2018</h3>
<p>
The 2018 workshop saw the technology landscape continue to cohere into best practices,
shared tools, and high-assurance software libraries.
HACS 2018 took place in Zurich, Switzerland.
</p>
<h3>HACS 2017</h3>
<p>
The 2017 workshop deepened many of these collaborations,
and gave participants a greater understanding of the tool and technology ecosystems that are taking shape.
HACS 2017 took place in New York, USA.
</p>
<h3>HACS 2016</h3>
<p>
The 2016 workshop introduced many key participants in this area to each other, and launched many collaborations.
HACS 2016 took place at Stanford University, USA.
</p>