Gilles Barthe
AuthID: R-00H-7MM
121
TITLE: CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2006, SOURCE: LPAR
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2006, SOURCE: LPAR
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP122
TITLE: Remarks on the equational theory of non-normalizing pure type systems
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2006, SOURCE: J. Funct. Program., VOLUME: 16, ISSUE: 2
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2006, SOURCE: J. Funct. Program., VOLUME: 16, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP123
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
DBLP124
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
DBLP125
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
DBLP126
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
DBLP127
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
DBLP128
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
DBLP129
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
DBLP130
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
DBLP