Gilles Barthe
AuthID: R-00H-7MM
121
TITLE: Formal Methods for Open Object-Based Distributed Systems. 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
AUTHORS: Gilles Barthe;
PUBLISHED: 2008
AUTHORS: Gilles Barthe;
PUBLISHED: 2008
INDEXED IN: 
Openlibrary
Openlibrary122
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
DBLP123
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
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP124
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
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP125
TITLE: A Certified Lightweight Non-interference Java Bytecode Verifier
AUTHORS: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLISHED: 2007, SOURCE: ESOP
AUTHORS: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLISHED: 2007, SOURCE: ESOP
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP126
TITLE: Security of Multithreaded Programs by Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: ESORICS
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: ESORICS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP127
TITLE: The MOBIUS Proof Carrying Code Infrastructure
AUTHORS: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLISHED: 2007, SOURCE: FMCO
AUTHORS: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLISHED: 2007, SOURCE: FMCO
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP128
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
DBLP129
TITLE: Secure information flow for a concurrent language with scheduling
AUTHORS: Gilles Barthe; Leonor Prensa Nieto;
PUBLISHED: 2007, SOURCE: J. Comput. Secur., VOLUME: 15, ISSUE: 6
AUTHORS: Gilles Barthe; Leonor Prensa Nieto;
PUBLISHED: 2007, SOURCE: J. Comput. Secur., VOLUME: 15, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP130
TITLE: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
AUTHORS: Gilles Barthe; Julien Forest; David Pichardie; Vlad Rusu;
PUBLISHED: 2006, SOURCE: FLOPS
AUTHORS: Gilles Barthe; Julien Forest; David Pichardie; Vlad Rusu;
PUBLISHED: 2006, SOURCE: FLOPS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP