Over the past five years, Galois has formally verified several cryptographic systems that are used in demanding industry environments. This article discusses our approach to these verification projects, focusing on the practical engineering challenges that exist when building and deploying proofs in industry.
No takes yet. Share an insight, caveat, or question.
Mike Dodds (2022) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: