Gilles Barthe
AuthID: R-00H-7MM
101
TITLE: A Functional Framework for Result Checking
AUTHORS: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLISHED: 2010, SOURCE: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, VOLUME: 6009
AUTHORS: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLISHED: 2010, SOURCE: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, VOLUME: 6009
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP102
TITLE: Programming Language Techniques for Cryptographic Proofs
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2010, SOURCE: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, VOLUME: 6172
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2010, SOURCE: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, VOLUME: 6172
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP103
TITLE: On the Equality of Probabilistic Terms
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLISHED: 2010, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLISHED: 2010, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP104
TITLE: Perspectives in Certificate Translation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2010, SOURCE: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, VOLUME: 6084
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2010, SOURCE: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, VOLUME: 6084
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP105
TITLE: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
AUTHORS: Gilles Barthe; Manuel V Hermenegildo;
PUBLISHED: 2010, SOURCE: VMCAI, VOLUME: 5944
AUTHORS: Gilles Barthe; Manuel V Hermenegildo;
PUBLISHED: 2010, SOURCE: VMCAI, VOLUME: 5944
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP106
TITLE: Security of multithreaded programs by compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2010, SOURCE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, ISSUE: 3
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2010, SOURCE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, ISSUE: 3
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP107
TITLE: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
AUTHORS: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLISHED: 2009, SOURCE: FOSAD, VOLUME: 5705
AUTHORS: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLISHED: 2009, SOURCE: FOSAD, VOLUME: 5705
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP108
TITLE: Implementing a Direct Method for Certificate Translation
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLISHED: 2009, SOURCE: 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
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP109
TITLE: Formal certification of code-based cryptographic proofs
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2009, SOURCE: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2009, SOURCE: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP110
TITLE: Formally Certifying the Security of Digital Signature Schemes
AUTHORS: Santiago Zanella Béguelin; Gilles Barthe; Benjamin Grégoire; Federico Olmedo;
PUBLISHED: 2009, SOURCE: 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA
AUTHORS: Santiago Zanella Béguelin; Gilles Barthe; Benjamin Grégoire; Federico Olmedo;
PUBLISHED: 2009, SOURCE: 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP