Gilles Barthe
AuthID: R-00H-7MM
51
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
DBLP52
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: CCS
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Benedikt Schmidt; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: CCS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP53
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: CSF
AUTORES: Gilles Barthe; George Danezis; Benjamin Grégoire; César Kunz; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP54
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: FOSAD
AUTORES: Gilles Barthe; François Dupressoir; Benjamin Grégoire; César Kunz; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2013, FONTE: FOSAD
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP55
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: ICALP (2)
AUTORES: Gilles Barthe; Federico Olmedo;
PUBLICAÇÃO: 2013, FONTE: ICALP (2)
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP56
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: LFCS
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2013, FONTE: LFCS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP57
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: PPoPP
AUTORES: Gilles Barthe; Juan Manuel Crespo; Sumit Gulwani; César Kunz; Mark Marron;
PUBLICAÇÃO: 2013, FONTE: PPoPP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP58
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
DBLP59
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: TYPES
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Jesús Mauricio Chimento; Carlos Luna;
PUBLICAÇÃO: 2013, FONTE: TYPES
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP60
TÃTULO: Verified indifferentiable hashing into elliptic curves
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: J. Comput. Secur., VOLUME: 21, NÚMERO: 6
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: J. Comput. Secur., VOLUME: 21, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP