Gilles Barthe
AuthID: R-00H-7MM
131
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
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
DBLP IN MY: DBLP
DBLP132
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
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
DBLP IN MY: DBLP
DBLP133
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
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
DBLP IN MY: DBLP
DBLP134
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
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
DBLP IN MY: DBLP
DBLP135
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
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
DBLP IN MY: DBLP
DBLP136
TITLE: Certificate Translation in Abstract Interpretation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, VOLUME: 4960
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, VOLUME: 4960
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP137
TITLE: Certificate translation for specification-preserving advices
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP138
TITLE: An Introduction to Certificate Translation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures, VOLUME: 5705
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures, VOLUME: 5705
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP139
TITLE: Formal Certification of ElGamal Encryption
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLISHED: 2008, SOURCE: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, VOLUME: 5491
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLISHED: 2008, SOURCE: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, VOLUME: 5491
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP140
TITLE: A Tutorial on Type-Based Termination
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, VOLUME: 5520
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, VOLUME: 5520
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP