Gilles Barthe
AuthID: R-00H-7MM
151
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
DBLP152
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
DBLP153
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
DBLP154
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
DBLP155
TITLE: International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002
AUTHORS: Gilles Barthe; Peter Thiemann;
PUBLISHED: 2003, SOURCE: TIP@MPC, VOLUME: 75
AUTHORS: Gilles Barthe; Peter Thiemann;
PUBLISHED: 2003, SOURCE: TIP@MPC, VOLUME: 75
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP156
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
DBLP157
TITLE: Validation of the JavaCard Platform with Implicit Induction Techniques
AUTHORS: Gilles Barthe; Sorin Stratulat;
PUBLISHED: 2003, SOURCE: RTA
AUTHORS: Gilles Barthe; Sorin Stratulat;
PUBLISHED: 2003, SOURCE: RTA
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP158
TITLE: Setoids in type theory
AUTHORS: Gilles Barthe; Venanzio Capretta; Olivier Pons;
PUBLISHED: 2003, SOURCE: J. Funct. Program., VOLUME: 13, ISSUE: 2
AUTHORS: Gilles Barthe; Venanzio Capretta; Olivier Pons;
PUBLISHED: 2003, SOURCE: J. Funct. Program., VOLUME: 13, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP159
TITLE: CPS translating inductive and coinductive types
AUTHORS: Barthe, G; Uustalu, T;
PUBLISHED: 2002, SOURCE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, ISSUE: 3
AUTHORS: Barthe, G; Uustalu, T;
PUBLISHED: 2002, SOURCE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, ISSUE: 3
160
TITLE: Compositional Verification of Secure Applet Interactions
AUTHORS: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLISHED: 2002, SOURCE: FASE
AUTHORS: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLISHED: 2002, SOURCE: FASE
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP