@article{Shoup04, author = {Victor Shoup}, title = {Sequences of games: a tool for taming complexity in security proofs}, journal = {IACR Cryptology ePrint Archive}, volume = 2004, year = 2004, pages = 332, ee = {http://eprint.iacr.org/2004/332}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{BartheGHB11, author = {Gilles Barthe and Benjamin Gr{\'e}goire and Sylvain Heraud and Santiago Zanella B{\'e}guelin}, title = {Computer-Aided Security Proofs for the Working Cryptographer}, booktitle = {CRYPTO}, year = {2011}, pages = {71-90}, ee = {http://dx.doi.org/10.1007/978-3-642-22792-9_5}, crossref = {DBLP:conf/crypto/2011}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/crypto/2011, editor = {Phillip Rogaway}, title = {Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings}, booktitle = {CRYPTO}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6841}, year = {2011}, isbn = {978-3-642-22791-2}, ee = {http://dx.doi.org/10.1007/978-3-642-22792-9}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{BartheGB09, author = {Gilles Barthe and Benjamin Gr{\'e}goire and Santiago Zanella B{\'e}guelin}, title = {Formal certification of code-based cryptographic proofs}, booktitle = {POPL}, year = {2009}, pages = {90-101}, ee = {http://doi.acm.org/10.1145/1480881.1480894}, crossref = {DBLP:conf/popl/2009}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/popl/2009, editor = {Zhong Shao and Benjamin C. Pierce}, title = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009}, booktitle = {POPL}, publisher = {ACM}, year = {2009}, isbn = {978-1-60558-379-2}, ee = {http://dl.acm.org/citation.cfm?id=1480881}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{GoldwasserM84, author = {Shafi Goldwasser and Silvio Micali}, title = {Probabilistic Encryption}, journal = {J. Comput. Syst. Sci.}, volume = {28}, number = {2}, year = {1984}, pages = {270-299}, ee = {http://dx.doi.org/10.1016/0022-0000(84)90070-9}, bibsource = {DBLP, http://dblp.uni-trier.de} }