Gilles Barthe
AuthID: R-00H-7MM
51
TÃTULO: Making RSA-PSS Provably Secure against Non-random Faults
AUTORES: Gilles Barthe; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; Mehdi Tibouchi; Jean Christophe Zapalowicz;
PUBLICAÇÃO: 2014, FONTE: CHES
AUTORES: Gilles Barthe; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; Mehdi Tibouchi; Jean Christophe Zapalowicz;
PUBLICAÇÃO: 2014, FONTE: CHES
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP52
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: CRYPTO (1)
AUTORES: Gilles Barthe; Edvard Fagerholm; Dario Fiore; John C Mitchell; Andre Scedrov; Benedikt Schmidt;
PUBLICAÇÃO: 2014, FONTE: CRYPTO (1)
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP53
TÃTULO: Certified Synthesis of Efficient Batch Verifiers
AUTORES: Joseph A Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: CSF
AUTORES: Joseph A Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP54
TÃTULO: Proving Differential Privacy in Hoare Logic
AUTORES: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; César Kunz; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: CSF
AUTORES: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; César Kunz; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP55
TÃTULO: Probabilistic relational verification for cryptographic implementations
AUTORES: Gilles Barthe; Cédric Fournet; Benjamin Grégoire; Pierre Yves Strub; Nikhil Swamy; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2014, FONTE: POPL
AUTORES: Gilles Barthe; Cédric Fournet; Benjamin Grégoire; Pierre Yves Strub; Nikhil Swamy; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2014, FONTE: POPL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP56
TÃTULO: Leakage Resilience against Concurrent Cache Attacks
AUTORES: Gilles Barthe; Boris Köpf; Laurent Mauborgne; Martín Ochoa;
PUBLICAÇÃO: 2014, FONTE: POST
AUTORES: Gilles Barthe; Boris Köpf; Laurent Mauborgne; Martín Ochoa;
PUBLICAÇÃO: 2014, FONTE: POST
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP57
TÃTULO: The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)
AUTORES: Gilles Barthe; Michael Hicks; Florian Kerschbaum; Dominique Unruh;
PUBLICAÇÃO: 2014, FONTE: Dagstuhl Reports, VOLUME: 4, NÚMERO: 12
AUTORES: Gilles Barthe; Michael Hicks; Florian Kerschbaum; Dominique Unruh;
PUBLICAÇÃO: 2014, FONTE: Dagstuhl Reports, VOLUME: 4, NÚMERO: 12
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP58
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
DBLP59
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
DBLP60
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
DBLP