Gilles Barthe
AuthID: R-00H-7MM
121
TITLE: Certificate Translation for Optimizing Compilers
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2006, SOURCE: SAS
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2006, SOURCE: SAS
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP122
TITLE: Deriving an Information Flow Checker and Certifying Compiler for Java
AUTHORS: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLISHED: 2006, SOURCE: S&P
AUTHORS: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLISHED: 2006, SOURCE: S&P
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP123
TITLE: MOBIUS: Mobility, Ubiquity, Security
AUTHORS: 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;
PUBLISHED: 2006, SOURCE: TGC
AUTHORS: 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;
PUBLISHED: 2006, SOURCE: TGC
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP124
TITLE: Formal Methods for Smartcard Security
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2005, SOURCE: FOSAD
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2005, SOURCE: FOSAD
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP125
TITLE: Proof Obligations Preserving Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP126
TITLE: Precise Analysis of Memory Consumption using Program Logics
AUTHORS: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLISHED: 2005, SOURCE: SEFM
AUTHORS: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLISHED: 2005, SOURCE: SEFM
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP127
TITLE: Practical Inference for Type-Based Termination in a Polymorphic Setting
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2005, SOURCE: TLCA
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2005, SOURCE: TLCA
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP128
TITLE: Non-interference for a JVM-like language
AUTHORS: Gilles Barthe; Tamara Rezk;
PUBLISHED: 2005, SOURCE: TLDI
AUTHORS: Gilles Barthe; Tamara Rezk;
PUBLISHED: 2005, SOURCE: TLDI
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP129
TITLE: Preventing Timing Leaks Through Transactional Branching Instructions
AUTHORS: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLISHED: 2005, SOURCE: QAPL
AUTHORS: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLISHED: 2005, SOURCE: QAPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP130
TITLE: A computational view of implicit coercions in type theory
AUTHORS: Gilles Barthe;
PUBLISHED: 2005, SOURCE: Math. Struct. Comput. Sci., VOLUME: 15, ISSUE: 5
AUTHORS: Gilles Barthe;
PUBLISHED: 2005, SOURCE: Math. Struct. Comput. Sci., VOLUME: 15, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP