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