Gilles Barthe
AuthID: R-00H-7MM
111
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
DBLP112
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
DBLP113
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
DBLP114
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
DBLP115
TÃTULO: JACK - A Tool for Validation of Security and Behaviour of Java Applications
AUTORES: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLICAÇÃO: 2006, FONTE: FMCO
AUTORES: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLICAÇÃO: 2006, FONTE: FMCO
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP116
TÃTULO: CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2006, FONTE: LPAR
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2006, FONTE: LPAR
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP117
TÃTULO: Remarks on the equational theory of non-normalizing pure type systems
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2006, FONTE: J. Funct. Program., VOLUME: 16, NÚMERO: 2
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2006, FONTE: J. Funct. Program., VOLUME: 16, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP118
TÃTULO: Certificate Translation for Optimizing Compilers
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLICAÇÃO: 2006, FONTE: SAS
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLICAÇÃO: 2006, FONTE: SAS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP119
TÃTULO: Deriving an Information Flow Checker and Certifying Compiler for Java
AUTORES: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLICAÇÃO: 2006, FONTE: S&P
AUTORES: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLICAÇÃO: 2006, FONTE: S&P
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP120
TÃTULO: MOBIUS: Mobility, Ubiquity, Security
AUTORES: Gilles Barthe; Lennart Beringer; Pierre Crégut; Benjamin Grégoire; Martin Hofmann; Peter Müller; Erik Poll; Germán Puebla; Ian Stark; Eric Vétillard;
PUBLICAÇÃO: 2006, FONTE: TGC
AUTORES: Gilles Barthe; Lennart Beringer; Pierre Crégut; Benjamin Grégoire; Martin Hofmann; Peter Müller; Erik Poll; Germán Puebla; Ian Stark; Eric Vétillard;
PUBLICAÇÃO: 2006, FONTE: TGC
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP