Gilles Barthe


AuthID: R-00H-7MM

Publications Awaiting Confirmation

111
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
INDEXED IN: DBLP
IN MY: DBLP
112
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
INDEXED IN: DBLP
IN MY: DBLP
113
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
INDEXED IN: DBLP
IN MY: DBLP
114
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
INDEXED IN: DBLP
IN MY: DBLP
115
TITLE: Certificate translation for optimizing compilers
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2009, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 31, ISSUE: 5
INDEXED IN: DBLP
IN MY: DBLP
116
TITLE: Certified Reasoning in Memory Hierarchies
AUTHORS: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLISHED: 2008, SOURCE: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, VOLUME: 5356
INDEXED IN: DBLP
IN MY: DBLP
117
TITLE: Certificate Translation PDF
AUTHORS: Gilles Barthe;
PUBLISHED: 2008, SOURCE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
INDEXED IN: DBLP
IN MY: DBLP
118
TITLE: Preservation of Proof Obligations from Java to the Java Virtual Machine
AUTHORS: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLISHED: 2008, SOURCE: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, VOLUME: 5195
INDEXED IN: DBLP
IN MY: DBLP
119
TITLE: Tractable Enforcement of Declassification Policies
AUTHORS: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLISHED: 2008, SOURCE: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008
INDEXED IN: DBLP
IN MY: DBLP
120
TITLE: Type-Based Termination with Sized Products
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, VOLUME: 5213
INDEXED IN: DBLP
IN MY: DBLP
Page 12 of 20. Total results: 199.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service