Gilles Barthe
AuthID: R-00H-7MM
131
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
DBLP132
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
DBLP133
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
DBLP134
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
DBLP135
TITLE: Secure Information Flow by Self-Composition
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2004, SOURCE: CSFW
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2004, SOURCE: CSFW
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP136
TITLE: A Tool-Assisted Framework for Certified Bytecode Verification
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2004, SOURCE: FASE
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2004, SOURCE: FASE
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP137
TITLE: Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
AUTHORS: Gilles Barthe; Peter Dybjer; Peter Thiemann;
PUBLISHED: 2004, SOURCE: J. Funct. Program., VOLUME: 14, ISSUE: 1
AUTHORS: Gilles Barthe; Peter Dybjer; Peter Thiemann;
PUBLISHED: 2004, SOURCE: J. Funct. Program., VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP138
TITLE: A Machine-Checked Formalization of the Random Oracle Model
AUTHORS: Gilles Barthe; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: TYPES
AUTHORS: Gilles Barthe; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: TYPES
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP139
TITLE: Security Types Preserving Compilation: (Extended Abstract)
AUTHORS: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLISHED: 2004, SOURCE: VMCAI
AUTHORS: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLISHED: 2004, SOURCE: VMCAI
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP140
TITLE: Pure patterns type systems
AUTHORS: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLISHED: 2003, SOURCE: POPL
AUTHORS: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLISHED: 2003, SOURCE: POPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP