Gilles Barthe
AuthID: R-00H-7MM
121
TÃTULO: Formal Methods for Open Object-Based Distributed Systems. 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008
INDEXADO EM: 
Openlibrary
Openlibrary122
TÃTULO: Mobility, Ubiquity and Security, 25.02. - 02.03.2007
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, VOLUME: 07091
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, VOLUME: 07091
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP123
TÃTULO: 07091 Executive Summary - Mobility, Ubiquity and Security
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP124
TÃTULO: 07091 Abstracts Collection - Mobility, Ubiquity and Security
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP125
TÃTULO: A Certified Lightweight Non-interference Java Bytecode Verifier
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2007, FONTE: ESOP
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2007, FONTE: ESOP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP126
TÃTULO: Security of Multithreaded Programs by Compilation
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: ESORICS
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: ESORICS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP127
TÃTULO: The MOBIUS Proof Carrying Code Infrastructure
AUTORES: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLICAÇÃO: 2007, FONTE: FMCO
AUTORES: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLICAÇÃO: 2007, FONTE: FMCO
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP128
TÃTULO: Security types preserving compilation
AUTORES: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLICAÇÃO: 2007, FONTE: Comput. Lang. Syst. Struct., VOLUME: 33, NÚMERO: 2
AUTORES: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLICAÇÃO: 2007, FONTE: Comput. Lang. Syst. Struct., VOLUME: 33, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP129
TÃTULO: Secure information flow for a concurrent language with scheduling
AUTORES: Gilles Barthe; Leonor Prensa Nieto;
PUBLICAÇÃO: 2007, FONTE: J. Comput. Secur., VOLUME: 15, NÚMERO: 6
AUTORES: Gilles Barthe; Leonor Prensa Nieto;
PUBLICAÇÃO: 2007, FONTE: J. Comput. Secur., VOLUME: 15, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP130
TÃTULO: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
AUTORES: Gilles Barthe; Julien Forest; David Pichardie; Vlad Rusu;
PUBLICAÇÃO: 2006, FONTE: FLOPS
AUTORES: Gilles Barthe; Julien Forest; David Pichardie; Vlad Rusu;
PUBLICAÇÃO: 2006, FONTE: FLOPS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP