Formal Certification of ElGamal Encryption

DOI10.1007/978-3-642-01465-9_1zbMath1312.94032OpenAlexW1592790363MaRDI QIDQ3619468

Benjamin Grégoire, Gilles Barthe, 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)

Related Items (1)

Verifiable Security of Boneh-Franklin Identity-Based Encryption

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