@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",
}