Computer-Aided Security Proofs for the Working Cryptographer

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2011
Type of Publication:	In Proceedings
Authors:	Barthe, Gilles Grégoire, Benjamin Heraud, Sylvain Béguelin, Santiago Zanella
Editor:	Phillip Rogaway	Volume:	6841
Book title:	Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings
Series:	Lecture Notes in Computer Science	Pages:	71-90


ISBN:	978-3-642-22791-2

@conference{DBLP:conf/crypto/BartheGHB11, author = "Gilles Barthe and Benjamin Gr{\'e}goire and Sylvain Heraud and Santiago Zanella B{\'e}guelin", booktitle = "Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings", crossref = "DBLP:conf/crypto/2011", doi = "10.1007/978-3-642-22792-9_5", editor = "Phillip Rogaway", isbn = "978-3-642-22791-2", note = "PARTNERS: IMDEA PROJECTS: NESSOS, ANR SESUR-012 SCALP, DESAFIOS 10, PROMETIDOS TIER: A CITE(03/03/2014):65", pages = "71-90", publisher = "Springer Berlin / Heidelberg", series = "Lecture Notes in Computer Science", title = "{C}omputer-{A}ided {S}ecurity {P}roofs for the {W}orking {C}ryptographer", volume = "6841", year = "2011", }
Note:	PARTNERS: IMDEA PROJECTS: NESSOS, ANR SESUR-012 SCALP, DESAFIOS 10, PROMETIDOS TIER: A CITE(03/03/2014):65
[Bibtex]