Gilles Barthe
AuthID: R-00H-7MM
121
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
DBLP122
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
DBLP123
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
DBLP124
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
DBLP125
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
DBLP126
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
DBLP127
TITLE: A Certified Lightweight Non-interference Java Bytecode Verifier
AUTHORS: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLISHED: 2007, SOURCE: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, VOLUME: 4421
AUTHORS: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLISHED: 2007, SOURCE: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, VOLUME: 4421
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP128
TITLE: Security of Multithreaded Programs by Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, VOLUME: 4734
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, VOLUME: 4734
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP129
TITLE: The MOBIUS Proof Carrying Code Infrastructure
AUTHORS: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLISHED: 2007, SOURCE: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, VOLUME: 5382
AUTHORS: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLISHED: 2007, SOURCE: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, VOLUME: 5382
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP130
TITLE: Security types preserving compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLISHED: 2007, SOURCE: Comput. Lang. Syst. Struct., VOLUME: 33, ISSUE: 2
AUTHORS: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLISHED: 2007, SOURCE: Comput. Lang. Syst. Struct., VOLUME: 33, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP