Computer-aided cryptographic proofs

DOI10.1007/978-3-642-32347-8_2MaRDI QIDQ2914729zbMATHOpenAlexFDO

Authors Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Santiago Zanella-Béguelin

Publication date 20 September 2012

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00765842/file/main.pdf

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Computer-Aided Security Proofs for the Working Cryptographer
• Finding a middle ground for computer-aided cryptography
• EasyCrypt: a tutorial
• Another look at automated theorem-proving
• Formal certification of code-based cryptographic proofs

Cited in

(21)

• Formal certification of code-based cryptographic proofs
• Automating Computational Proofs for Public-Key-Based Key Exchange
• Automated proofs for asymmetric encryption
• Finding a middle ground for computer-aided cryptography
• Verified cryptographic code for everybody
• Towards mechanized correctness proofs for cryptographic algorithms: axiomatization of a probabilistic Hoare style logic
• EasyCrypt: a tutorial
• Automating regression verification of pointer programs by predicate abstraction
• Formalization of Shannon's theorems
• Programming language techniques for cryptographic proofs
• Probabilistic relational Hoare logics for computer-aided security proofs
• Another look at automated theorem-proving
• Functional Correctness Proofs of Encryption Algorithms
• Formal Certification of ElGamal Encryption
• Formal verification of Saber's public-key encryption scheme in easycrypt
• Proof producing synthesis of arithmetic and cryptographic hardware
• Computer-Aided Security Proofs for the Working Cryptographer
• Automated unbounded analysis of cryptographic constructions in the generic group model
• Proof techniques for cryptographic processes
• Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+}
• Another look at automated theorem-proving. II

Describes a project that uses

Uses Software

• EasyCrypt

This page was built for publication: Computer-aided cryptographic proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914729)