Gilles Barthe
AuthID: R-00H-7MM
71
TITLE: Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
AUTHORS: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLISHED: 2013, SOURCE: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, VOLUME: 7734
AUTHORS: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLISHED: 2013, SOURCE: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, VOLUME: 7734
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP72
TITLE: From relational verification to SIMD loop synthesis
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Sumit Gulwani; César Kunz; Mark Marron;
PUBLISHED: 2013, SOURCE: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Sumit Gulwani; César Kunz; Mark Marron;
PUBLISHED: 2013, SOURCE: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP73
TITLE: Computer-Aided Security Proofs
AUTHORS: Gilles Barthe;
PUBLISHED: 2013, SOURCE: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, VOLUME: 8054
AUTHORS: Gilles Barthe;
PUBLISHED: 2013, SOURCE: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, VOLUME: 8054
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP74
TITLE: Formally Verified Implementation of an Idealized Model of Virtualization
AUTHORS: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Jesús Mauricio Chimento; Carlos Luna;
PUBLISHED: 2013, SOURCE: 19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France, VOLUME: 26
AUTHORS: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Jesús Mauricio Chimento; Carlos Luna;
PUBLISHED: 2013, SOURCE: 19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France, VOLUME: 26
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP75
TITLE: Verified indifferentiable hashing into elliptic curves
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2013, SOURCE: J. Comput. Secur., VOLUME: 21, ISSUE: 6
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2013, SOURCE: J. Comput. Secur., VOLUME: 21, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP76
TITLE: A certified lightweight non-interference Java bytecode verifier
AUTHORS: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLISHED: 2013, SOURCE: Math. Struct. Comput. Sci., VOLUME: 23, ISSUE: 5
AUTHORS: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLISHED: 2013, SOURCE: Math. Struct. Comput. Sci., VOLUME: 23, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP77
TITLE: Probabilistic Relational Reasoning for Differential Privacy
AUTHORS: Gilles Barthe; Boris Köpf; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2013, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 35, ISSUE: 3
AUTHORS: Gilles Barthe; Boris Köpf; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2013, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 35, ISSUE: 3
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP78
TITLE: Verified security of redundancy-free encryption from Rabin and RSA
AUTHORS: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012
AUTHORS: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP79
TITLE: Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, VOLUME: 7679
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, VOLUME: 7679
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP80
TITLE: Verified Security of Merkle-Damgård
AUTHORS: Michael Backes; Gilles Barthe; Matthias Berg; Benjamin Grégoire; César Kunz; Malte Skoruppa; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012
AUTHORS: Michael Backes; Gilles Barthe; Matthias Berg; Benjamin Grégoire; César Kunz; Malte Skoruppa; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP