Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin. Formal Certification of ElGamal Encryption. In Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli, editors, Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Volume 5491 of Lecture Notes in Computer Science, pages 1-19, Springer, 2008. [doi]
Abstract is missing.