Gilles Barthe
AuthID: R-00H-7MM
111
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
Openlibrary112
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
DBLP113
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
DBLP114
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
DBLP115
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
DBLP116
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
DBLP117
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
DBLP118
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
DBLP119
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
DBLP120
TITLE: JACK - A Tool for Validation of Security and Behaviour of Java Applications
AUTHORS: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLISHED: 2006, SOURCE: FMCO
AUTHORS: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLISHED: 2006, SOURCE: FMCO
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP