Verified cryptographic code for everybody

DOI10.1007/978-3-030-81685-8_31zbMath1493.68206OpenAlexW3174754599MaRDI QIDQ832216

Brian Huffman, Brett Boston, Joey Dodds, Samuel Breese, Adam Petcher, Mike Dodds, Andrei Ştefănescu

Publication date: 25 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81685-8_31

zbMATH Keywords

verificationcryptographyautomated reasoning

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Verifying classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation

Uses Software

• Boogie
• Toolchain
• CBMC
• ABC
• GitHub
• HACL*

Cites Work

• Continuous Reasoning
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Verified cryptographic code for everybody