Summary

This Workshop on High Assurance Crypto Software HACS, launched in 2016 by Gilles Barthe, Ben Laurie, and Trevor Perrin, aims to drive the convergence between cryptographic developers and formal verification experts. As a yearly event, it brings together worlds of top professionals from both open source and industry backgrounds. The gathering is designed to foster dialogue within a structured environment where these diverse groups can exchange knowledge and ideas to advance the field of high assurance cryptography. By bridging the gap between rigorous security standards and practical implementation, the workshop seeks to accelerate the deployment of secure software through rigorous methodologies and peer-driven innovation.

Title

HACS Workshop

Description

HACS Workshop

Keywords

high, assurance, software, event, workshop, formal, verification, organizers, application, connolly, allen, peter, here, expectations, aspirations, home, past

NS Lookup

A 185.199.111.153, A 185.199.110.153, A 185.199.108.153, A 185.199.109.153

Dates

Created 2026-02-14

Updated 2026-02-14

Summarized 2026-03-22