Gilles Barthe
AuthID: R-00H-7MM
121
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
DBLP122
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
DBLP123
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
DBLP124
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
DBLP125
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
DBLP126
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
DBLP127
TITLE: Type-based termination of recursive definitions
AUTHORS: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLISHED: 2004, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 1
AUTHORS: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLISHED: 2004, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 1
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP128
TITLE: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
AUTHORS: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: IJCAR
AUTHORS: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: IJCAR
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP129
TITLE: Enforcing High-Level Security Properties for Applets
AUTHORS: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLISHED: 2004, SOURCE: CARDIS
AUTHORS: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLISHED: 2004, SOURCE: CARDIS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP130
TITLE: Formally verifying information flow type systems for concurrent and thread systems
AUTHORS: Gilles Barthe; Leonor Prensa Nieto;
PUBLISHED: 2004, SOURCE: FMSE
AUTHORS: Gilles Barthe; Leonor Prensa Nieto;
PUBLISHED: 2004, SOURCE: FMSE
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP