Gilles Barthe
AuthID: R-00H-7MM
61
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
DBLP62
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
DBLP63
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
DBLP64
TÃTULO: A certified lightweight non-interference Java bytecode verifier
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2013, FONTE: Math. Struct. Comput. Sci., VOLUME: 23, NÚMERO: 5
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2013, FONTE: Math. Struct. Comput. Sci., VOLUME: 23, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP65
TÃTULO: Probabilistic Relational Reasoning for Differential Privacy
AUTORES: Gilles Barthe; Boris Köpf; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 35, NÚMERO: 3
AUTORES: Gilles Barthe; Boris Köpf; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2013, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 35, NÚMERO: 3
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP66
TÃTULO: Verified security of redundancy-free encryption from Rabin and RSA
AUTORES: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: CCS
AUTORES: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: CCS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP67
TÃTULO: Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: CPP
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: CPP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP68
TÃTULO: Verified Security of Merkle-Damgård
AUTORES: Michael Backes; Gilles Barthe; Matthias Berg; Benjamin Grégoire; César Kunz; Malte Skoruppa; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: CSF
AUTORES: Michael Backes; Gilles Barthe; Matthias Berg; Benjamin Grégoire; César Kunz; Malte Skoruppa; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP69
TÃTULO: Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2012, FONTE: CSF
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2012, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP70
TÃTULO: A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert
AUTORES: Gilles Barthe; Delphine Demange; David Pichardie;
PUBLICAÇÃO: 2012, FONTE: ESOP
AUTORES: Gilles Barthe; Delphine Demange; David Pichardie;
PUBLICAÇÃO: 2012, FONTE: ESOP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP