High-Assurance Crypto Software

HACS Workshop

Recent years have seen major advances in the application of formal methods and other high assurance verification techniques to software. At the same time, there’s been a rapid increase in the use of cryptography to protect civil society and critical information systems.

We see these trends continuing to converge. The importance and complexity of cryptographic software makes it an ideal application for formal and high-assurance verification. The Workshop on High Assurance Crypto Software (HACS) was launched in 2016 by Gilles Barthe, Ben Laurie, and Trevor Perrin to drive this convergence forward. As a yearly event, we’ve been bringing the world’s best cryptographic developers (from open source and industry) together with top experts in formal verification and high assurance methodologies. The goal is to foster collaborations towards making cryptographic software flawless.

HACS organizers

The current members of the HACS organizing committee are:

HACS 2022

HACS 2022 will be in Amsterdam, April 11-12. You can read more about the workshop plans here. HACS is an invite-only event, but for 2022 we are accepting self-nominations. If you would like to attend, please apply here.

Event Expectations / Code of Conduct

HACS is observing Aspiration’s Event Expectations as well as Aspiration’s Participation guidelines.