Gilles Barthe


AuthID: R-00H-7MM

Publications Awaiting Confirmation

81
TITLE: Preface
AUTHORS: Gilles Barthe; Jorge Cuéllar; Javier López; Alexander Pretschner;
PUBLISHED: 2012, SOURCE: J. Comput. Secur., VOLUME: 20, ISSUE: 4
INDEXED IN: DBLP
IN MY: DBLP
82
TITLE: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
AUTHORS: Gilles Barthe; Benjamin Livshits; Riccardo Scandariato;
PUBLISHED: 2012, SOURCE: ESSoS, VOLUME: 7159
INDEXED IN: DBLP
IN MY: DBLP
83
TITLE: Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
AUTHORS: Gilles Barthe; Anupam Datta; Sandro Etalle;
PUBLISHED: 2012, SOURCE: Formal Aspects in Security and Trust, VOLUME: 7140
INDEXED IN: DBLP
IN MY: DBLP
84
TITLE: Computer-Aided Cryptographic Proofs
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, VOLUME: 7406
INDEXED IN: DBLP
IN MY: DBLP
85
TITLE: Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings, VOLUME: 7342
INDEXED IN: DBLP
IN MY: DBLP
86
TITLE: Probabilistic relational reasoning for differential privacy
AUTHORS: Gilles Barthe; Boris Köpf; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012
INDEXED IN: DBLP
IN MY: DBLP
87
TITLE: Verified Indifferentiable Hashing into Elliptic Curves
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings, VOLUME: 7215
INDEXED IN: DBLP
IN MY: DBLP
88
TITLE: Computer-Aided Cryptographic Proofs
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings, VOLUME: 7460
INDEXED IN: DBLP
IN MY: DBLP
89
TITLE: Automated Analysis and Synthesis of Padding-Based Encryption Schemes
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXED IN: DBLP
IN MY: DBLP
90
TITLE: Verified Security of Redundancy-Free Encryption from Rabin and RSA
AUTHORS: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXED IN: DBLP
IN MY: DBLP
Page 9 of 20. Total results: 199.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service