Gilles Barthe
AuthID: R-00H-7MM
121
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
DBLP122
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
DBLP123
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
DBLP124
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
DBLP125
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
DBLP126
TITLE: Preservation of Proof Pbligations for Hybrid Verification Methods
AUTHORS: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLISHED: 2008, SOURCE: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008
AUTHORS: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLISHED: 2008, SOURCE: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP127
TITLE: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
AUTHORS: Gilles Barthe; Cédric Fournet;
PUBLISHED: 2008, SOURCE: TGC, VOLUME: 4912
AUTHORS: Gilles Barthe; Cédric Fournet;
PUBLISHED: 2008, SOURCE: TGC, VOLUME: 4912
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP128
TITLE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security, VOLUME: 07091
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security, VOLUME: 07091
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP129
TITLE: 07091 Executive Summary - Mobility, Ubiquity and Security
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP130
TITLE: 07091 Abstracts Collection - Mobility, Ubiquity and Security
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP