Formal Certification of ElGamal Encryption

DOI10.1007/978-3-642-01465-9_1MaRDI QIDQ3619468zbMATH OpenOpenAlexFDO

Authors Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella-Béguelin

Publication date 7 April 2009

Published in Formal Aspects in Security and Trust (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-01465-9_1

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Formal certification of code-based cryptographic proofs
• Types for Proofs and Programs
• Computer-aided cryptographic proofs
• Programming language techniques for cryptographic proofs
• Computer-Aided Security Proofs for the Working Cryptographer

Cited in

(5)

• Format Oracles on OpenPGP
• Verifiable security of Boneh-Franklin identity-based encryption
• Formal certification of code-based cryptographic proofs
• Programming language techniques for cryptographic proofs
• Types for Proofs and Programs

This page was built for publication: Formal Certification of ElGamal Encryption

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