@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/TOPIC_CRYPTO.cite -ob Publi/TOPIC_CRYPTO.bib -c topic="CRYPTO" -c !topic="NOCITE" Publi/bibdata.bib}}
@inproceedings{DBLP:conf/popl/BartheFGSSB14,
isbn = {978-1-4503-2544-8},
publisher = {ACM},
editor = {Suresh Jagannathan and
Peter Sewell},
author = {Gilles Barthe and
C{\'e}dric Fournet and
Benjamin Gr{\'e}goire and
Pierre-Yves Strub and
Nikhil Swamy and
Santiago Zanella B{\'e}guelin},
title = {Probabilistic relational verification for cryptographic
implementations},
booktitle = {POPL},
year = {2014},
pages = {193-206},
ee = {http://doi.acm.org/10.1145/2535838.2535847},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/jcs/BartheGHOB13,
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Sylvain Heraud and
Federico Olmedo and
Santiago Zanella B{\'e}guelin},
title = {Verified indifferentiable hashing into elliptic curves},
journal = {Journal of Computer Security},
volume = {21},
number = {6},
year = {2013},
pages = {881-917},
ee = {http://dx.doi.org/10.3233/JCS-130476},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ccs/BartheCGKLSB13,
isbn = {978-1-4503-2477-9},
publisher = {ACM},
editor = {Ahmad-Reza Sadeghi and
Virgil D. Gligor and
Moti Yung},
author = {Gilles Barthe and
Juan Manuel Crespo and
Benjamin Gr{\'e}goire and
C{\'e}sar Kunz and
Yassine Lakhnech and
Benedikt Schmidt and
Santiago Zanella B{\'e}guelin},
title = {Fully automated analysis of padding-based encryption in
the computational model},
booktitle = {ACM Conference on Computer and Communications Security},
year = {2013},
pages = {1247-1260},
ee = {http://doi.acm.org/10.1145/2508859.2516663},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/csfw/BartheDGKB13,
isbn = {978-0-7695-5031-2},
publisher = {IEEE},
author = {Gilles Barthe and
George Danezis and
Benjamin Gr{\'e}goire and
C{\'e}sar Kunz and
Santiago Zanella B{\'e}guelin},
title = {Verified Computational Differential Privacy with Applications
to Smart Metering},
booktitle = {CSF},
year = {2013},
pages = {287-301},
ee = {http://dx.doi.org/10.1109/CSF.2013.26},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/cpp/BartheGKLB12,
isbn = {978-3-642-35307-9},
volume = {7679},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
editor = {Chris Hawblitzel and
Dale Miller},
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
C{\'e}sar Kunz and
Yassine Lakhnech and
Santiago Zanella B{\'e}guelin},
title = {Automation in Computer-Aided Cryptography: Proofs, Attacks
and Designs},
booktitle = {CPP},
year = {2012},
pages = {7-8},
ee = {http://dx.doi.org/10.1007/978-3-642-35308-6_3},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/csfw/BackesBBGKSB12,
isbn = {978-1-4673-1918-8},
publisher = {IEEE},
editor = {Stephen Chong},
author = {Michael Backes and
Gilles Barthe and
Matthias Berg and
Benjamin Gr{\'e}goire and
C{\'e}sar Kunz and
Malte Skoruppa and
Santiago Zanella B{\'e}guelin},
title = {Verified Security of Merkle-Damg{\aa}rd},
booktitle = {CSF},
year = {2012},
pages = {354-368},
ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/itp/BartheCGKB12,
isbn = {978-3-642-32346-1},
volume = {7406},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
editor = {Lennart Beringer and
Amy P. Felty},
author = {Gilles Barthe and
Juan Manuel Crespo and
Benjamin Gr{\'e}goire and
C{\'e}sar Kunz and
Santiago Zanella B{\'e}guelin},
title = {Computer-Aided Cryptographic Proofs},
booktitle = {ITP},
year = {2012},
pages = {11-27},
ee = {http://dx.doi.org/10.1007/978-3-642-32347-8_2},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/post/BartheGHOB12,
isbn = {978-3-642-28640-7},
volume = {7215},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Sylvain Heraud and
Federico Olmedo and
Santiago Zanella B{\'e}guelin},
title = {Verified Indifferentiable Hashing into Elliptic Curves},
booktitle = {POST},
year = {2012},
pages = {209-228},
ee = {http://dx.doi.org/10.1007/978-3-642-28641-4_12},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sas/BartheGB12,
isbn = {978-3-642-33124-4},
volume = {7460},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
editor = {Antoine Min{\'e} and
David Schmidt},
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Santiago Zanella B{\'e}guelin},
title = {Computer-Aided Cryptographic Proofs},
booktitle = {SAS},
year = {2012},
pages = {1-2},
ee = {http://dx.doi.org/10.1007/978-3-642-33125-1_1},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/ercim/Gregoire12,
author = {Benjamin Gr{\'e}goire},
title = {Recent Advances in the Formal Verification of Cryptographic
Systems: Turing's Legacy},
journal = {ERCIM News},
volume = {2012},
number = {91},
year = {2012},
ee = {http://ercim-news.ercim.eu/en91/special/recent-advances-in-the-formal-verification-of-cryptographic-systems-turings-legacy},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/crypto/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 = {Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology
Conference, Santa Barbara, CA, USA, August 14-18, 2011.
Proceedings},
year = {2011},
pages = {71-90},
ee = {http://dx.doi.org/10.1007/978-3-642-22792-9_5},
bibsource = {DBLP, http://dblp.uni-trier.de},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6841},
isbn = {978-3-642-22791-2},
topic = {CRYPTO},
note = {Best Paper Award}
}
@inproceedings{DBLP:conf/ctrsa/BartheGLB11,
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Yassine Lakhnech and
Santiago Zanella B{\'e}guelin},
title = {Beyond Provable Security Verifiable IND-CCA Security of
OAEP},
booktitle = {Topics in Cryptology - CT-RSA 2011 - The Cryptographers'
Track at the RSA Conference 2011, San Francisco, CA, USA,
February 14-18, 2011. Proceedings},
volume = {6558},
year = {2011},
isbn = {978-3-642-19073-5},
pages = {180-196},
ee = {http://dx.doi.org/10.1007/978-3-642-19074-2_13},
bibsource = {DBLP, http://dblp.uni-trier.de},
publisher = {Springer},
topic = {CRYPTO}
}
@inproceedings{BGZ10ITP,
author = {Gilles Barthe and Benjamin Gr{\'e}goire and Santiago Zanella},
title = {Programming language techniques for cryptographic proofs},
booktitle = {Interactive Theorem Proving, international
Conference, ITP 2010, Edinburgh, Scotland, July 11-14, 2010,
Proceedings},
year = {2010},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
topic = {CRYPTO}
}
@inproceedings{BGHH10CSF,
author = {Santiago Zanella B{\'e}guelin and Gilles Barthe and Sylvain Heraud and Benjamin Gr{\'e}goire and Daniel Hedin},
title = {A Machine-Checked Formalization of Sigma-Protocols},
booktitle = {Computer Security Foundations Symposium, CSF 2010, Edinburgh, Scotland, July 17-19, 2010,
Proceedings},
year = {2010},
publisher = {IEEE},
topic = {CRYPTO}
}
@inproceedings{BartheGHB08:FAST,
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Sylvain Heraud and
Santiago Zanella B{\'e}guelin},
title = {Formal Certification of ElGamal Encryption},
booktitle = {Formal Aspects in Security and Trust},
year = {2008},
pages = {1-19},
ee = {http://dx.doi.org/10.1007/978-3-642-01465-9_1},
topic = {CRYPTO}
}
@inproceedings{BartheGZ09,
author = {Gilles Barthe and Benjamin Gr\'egoire and Santiago Zanella},
title = {Formal Certification of Code-Based Cryptographic Proofs},
booktitle = {36th symposium Principles of Programming Languages},
publisher = {ACM Press},
year = 2009,
month = jan,
url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/popl09.pdf},
topic = {CRYPTO}
}
@inproceedings{BGOZ:2009:SP,
author = { G. Barthe and
B. Gr{\'e}goire and
F. Olmedo and
S. {Zanella B{\'e}guelin}},
title = {Formally Certifying the Security of Digital Signature Schemes},
booktitle = {30th IEEE Symposium on Security and Privacy, S\&P 2009},
year = {2009},
topic = {CRYPTO}
}
This file was generated by bibtex2html 1.97.