Gilles Barthe
AuthID: R-00H-7MM
91
TÃTULO: Verified Indifferentiable Hashing into Elliptic Curves
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings, VOLUME: 7215
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings, VOLUME: 7215
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP92
TÃTULO: Computer-Aided Cryptographic Proofs
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings, VOLUME: 7460
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings, VOLUME: 7460
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP93
TÃTULO: Automated Analysis and Synthesis of Padding-Based Encryption Schemes
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2012
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP94
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: IACR Cryptol. ePrint Arch., VOLUME: 2012
AUTORES: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP95
TÃTULO: Computer-Aided Security Proofs for the Working Cryptographer
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings, VOLUME: 6841
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings, VOLUME: 6841
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP96
TÃTULO: Information-Theoretic Bounds for Differentially Private Mechanisms
AUTORES: Gilles Barthe; Boris Köpf;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011
AUTORES: Gilles Barthe; Boris Köpf;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP97
TÃTULO: Beyond Provable Security Verifiable IND-CCA Security of OAEP
AUTORES: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings, VOLUME: 6558
AUTORES: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings, VOLUME: 6558
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP98
TÃTULO: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2011, FONTE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2011, FONTE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP99
TÃTULO: Relational Verification Using Product Programs
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2011, FONTE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2011, FONTE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP100
TÃTULO: A Computational Indistinguishability Logic for the Bounded Storage Model
AUTORES: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLICAÇÃO: 2011, FONTE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
AUTORES: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLICAÇÃO: 2011, FONTE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP