HACS Workshop

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 2024 will be in Toronto, March 21–22 plus an optional "hack day" the 23th. HACS is an invite-only event, but for 2024 we accepted self-nominations via applications over here.