Gilles Barthe
AuthID: R-00H-7MM
121
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
DBLP122
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
DBLP123
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
DBLP124
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
DBLP125
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
DBLP126
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
DBLP127
TÃTULO: Formal Methods for Smartcard Security
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2005, FONTE: FOSAD
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2005, FONTE: FOSAD
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP128
TÃTULO: Proof Obligations Preserving Compilation
AUTORES: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLICAÇÃO: 2005, FONTE: Formal Aspects in Security and Trust
AUTORES: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLICAÇÃO: 2005, FONTE: Formal Aspects in Security and Trust
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP129
TÃTULO: Precise Analysis of Memory Consumption using Program Logics
AUTORES: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLICAÇÃO: 2005, FONTE: SEFM
AUTORES: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLICAÇÃO: 2005, FONTE: SEFM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP130
TÃTULO: Practical Inference for Type-Based Termination in a Polymorphic Setting
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2005, FONTE: TLCA
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2005, FONTE: TLCA
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP