Gilles Barthe
AuthID: R-00H-7MM
101
TÃTULO: A Machine-Checked Formalization of Sigma-Protocols
AUTORES: Gilles Barthe; Daniel Hedin; Santiago Zanella Béguelin; Benjamin Grégoire; Sylvain Heraud;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
AUTORES: Gilles Barthe; Daniel Hedin; Santiago Zanella Béguelin; Benjamin Grégoire; Sylvain Heraud;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP102
TÃTULO: Robustness Guarantees for Anonymity
AUTORES: Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
AUTORES: Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP103
TÃTULO: A Functional Framework for Result Checking
AUTORES: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLICAÇÃO: 2010, FONTE: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, VOLUME: 6009
AUTORES: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLICAÇÃO: 2010, FONTE: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, VOLUME: 6009
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP104
TÃTULO: Programming Language Techniques for Cryptographic Proofs
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2010, FONTE: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, VOLUME: 6172
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2010, FONTE: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, VOLUME: 6172
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP105
TÃTULO: On the Equality of Probabilistic Terms
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLICAÇÃO: 2010, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLICAÇÃO: 2010, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP106
TÃTULO: Perspectives in Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2010, FONTE: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, VOLUME: 6084
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2010, FONTE: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, VOLUME: 6084
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP107
TÃTULO: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
AUTORES: Gilles Barthe; Manuel V Hermenegildo;
PUBLICAÇÃO: 2010, FONTE: VMCAI, VOLUME: 5944
AUTORES: Gilles Barthe; Manuel V Hermenegildo;
PUBLICAÇÃO: 2010, FONTE: VMCAI, VOLUME: 5944
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP108
TÃTULO: Security of multithreaded programs by compilation
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2010, FONTE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, NÚMERO: 3
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2010, FONTE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, NÚMERO: 3
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP109
TÃTULO: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
AUTORES: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLICAÇÃO: 2009, FONTE: FOSAD, VOLUME: 5705
AUTORES: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLICAÇÃO: 2009, FONTE: FOSAD, VOLUME: 5705
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP110
TÃTULO: Implementing a Direct Method for Certificate Translation
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLICAÇÃO: 2009, FONTE: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLICAÇÃO: 2009, FONTE: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP