High-Assurance Crypto Software

Past editions of HACS

HACS 2018

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.

HACS 2017

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.

HACS 2016

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.