Formally Verifying Industry Cryptography
Mike Dodds · IEEE Security & Privacy · 2022
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.