Gilles Barthe
AuthID: R-00H-7MM
71
TÃTULO: Automated Analysis of Cryptographic Assumptions in Generic Group Models
AUTORES: Gilles Barthe; Edvard Fagerholm; Dario Fiore; John C Mitchell; Andre Scedrov; Benedikt Schmidt;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2014
AUTORES: Gilles Barthe; Edvard Fagerholm; Dario Fiore; John C Mitchell; Andre Scedrov; Benedikt Schmidt;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2014
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP72
TÃTULO: Formal Verification of an SSA-Based Middle-End for CompCert
AUTORES: Gilles Barthe; Delphine Demange; David Pichardie;
PUBLICAÇÃO: 2014, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 36, NÚMERO: 1
AUTORES: Gilles Barthe; Delphine Demange; David Pichardie;
PUBLICAÇÃO: 2014, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 36, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP73
TÃTULO: Fully automated analysis of padding-based encryption in the computational model
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Benedikt Schmidt; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Benedikt Schmidt; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP74
TÃTULO: Verified Computational Differential Privacy with Applications to Smart Metering
AUTORES: Gilles Barthe; George Danezis; Benjamin Grégoire; César Kunz; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013
AUTORES: Gilles Barthe; George Danezis; Benjamin Grégoire; César Kunz; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP75
TÃTULO: EasyCrypt: A Tutorial
AUTORES: Gilles Barthe; François Dupressoir; Benjamin Grégoire; César Kunz; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2013, FONTE: Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures, VOLUME: 8604
AUTORES: Gilles Barthe; François Dupressoir; Benjamin Grégoire; César Kunz; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2013, FONTE: Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures, VOLUME: 8604
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP76
TÃTULO: Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs
AUTORES: Gilles Barthe; Federico Olmedo;
PUBLICAÇÃO: 2013, FONTE: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, VOLUME: 7966
AUTORES: Gilles Barthe; Federico Olmedo;
PUBLICAÇÃO: 2013, FONTE: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, VOLUME: 7966
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP77
TÃTULO: Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2013, FONTE: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, VOLUME: 7734
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2013, FONTE: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, VOLUME: 7734
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP78
TÃTULO: From relational verification to SIMD loop synthesis
AUTORES: Gilles Barthe; Juan Manuel Crespo; Sumit Gulwani; César Kunz; Mark Marron;
PUBLICAÇÃO: 2013, FONTE: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013
AUTORES: Gilles Barthe; Juan Manuel Crespo; Sumit Gulwani; César Kunz; Mark Marron;
PUBLICAÇÃO: 2013, FONTE: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP79
TÃTULO: Computer-Aided Security Proofs
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2013, FONTE: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, VOLUME: 8054
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2013, FONTE: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, VOLUME: 8054
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP80
TÃTULO: Formally Verified Implementation of an Idealized Model of Virtualization
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Jesús Mauricio Chimento; Carlos Luna;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France, VOLUME: 26
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Jesús Mauricio Chimento; Carlos Luna;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France, VOLUME: 26
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP