Gilles Barthe
AuthID: R-00H-7MM
121
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
DBLP122
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
DBLP123
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
DBLP124
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
DBLP125
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
DBLP126
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
DBLP127
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
DBLP128
TÃTULO: Non-interference for a JVM-like language
AUTORES: Gilles Barthe; Tamara Rezk;
PUBLICAÇÃO: 2005, FONTE: TLDI
AUTORES: Gilles Barthe; Tamara Rezk;
PUBLICAÇÃO: 2005, FONTE: TLDI
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP129
TÃTULO: Preventing Timing Leaks Through Transactional Branching Instructions
AUTORES: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLICAÇÃO: 2005, FONTE: QAPL
AUTORES: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLICAÇÃO: 2005, FONTE: QAPL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP130
TÃTULO: A computational view of implicit coercions in type theory
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2005, FONTE: Math. Struct. Comput. Sci., VOLUME: 15, NÚMERO: 5
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2005, FONTE: Math. Struct. Comput. Sci., VOLUME: 15, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP