Gilles Barthe
AuthID: R-00H-7MM
171
TITLE: A Tool-Assisted Framework for Certified Bytecode Verification
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2004, SOURCE: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, VOLUME: 2984
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2004, SOURCE: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, VOLUME: 2984
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP172
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
DBLP173
TITLE: Type-based termination of recursive definitions
AUTHORS: Gilles Barthe; Maria João Frade ; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLISHED: 2004, SOURCE: Math. Struct. Comput. Sci., VOLUME: 14, ISSUE: 1
AUTHORS: Gilles Barthe; Maria João Frade ; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLISHED: 2004, SOURCE: Math. Struct. Comput. Sci., VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP174
TITLE: A Machine-Checked Formalization of the Random Oracle Model
AUTHORS: Gilles Barthe; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, VOLUME: 3839
AUTHORS: Gilles Barthe; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, VOLUME: 3839
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP175
TITLE: Security Types Preserving Compilation: (Extended Abstract)
AUTHORS: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLISHED: 2004, SOURCE: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, VOLUME: 2937
AUTHORS: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLISHED: 2004, SOURCE: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, VOLUME: 2937
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP176
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
DBLP177
TITLE: Pure patterns type systems
AUTHORS: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLISHED: 2003, SOURCE: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003
AUTHORS: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLISHED: 2003, SOURCE: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP178
TITLE: Validation of the JavaCard Platform with Implicit Induction Techniques
AUTHORS: Gilles Barthe; Sorin Stratulat;
PUBLISHED: 2003, SOURCE: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, VOLUME: 2706
AUTHORS: Gilles Barthe; Sorin Stratulat;
PUBLISHED: 2003, SOURCE: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, VOLUME: 2706
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP179
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
DBLP180
TITLE: Compositional Verification of Secure Applet Interactions
AUTHORS: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLISHED: 2002, SOURCE: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, VOLUME: 2306
AUTHORS: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLISHED: 2002, SOURCE: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, VOLUME: 2306
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP