Gilles Barthe
AuthID: R-00H-7MM
151
TITLE: A computational view of implicit coercions in type theory
AUTHORS: Gilles Barthe;
PUBLISHED: 2005, SOURCE: Math. Struct. Comput. Sci., VOLUME: 15, ISSUE: 5
AUTHORS: Gilles Barthe;
PUBLISHED: 2005, SOURCE: Math. Struct. Comput. Sci., VOLUME: 15, ISSUE: 5
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP152
TITLE: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
AUTHORS: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, VOLUME: 3097
AUTHORS: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLISHED: 2004, SOURCE: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, VOLUME: 3097
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP153
TITLE: Enforcing High-Level Security Properties for Applets
AUTHORS: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLISHED: 2004, SOURCE: Smart Card Research and Advanced Applications VI, IFIP 18th World Computer Congress, TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS), 22-27 August 2004, Toulouse, France, VOLUME: 153
AUTHORS: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLISHED: 2004, SOURCE: Smart Card Research and Advanced Applications VI, IFIP 18th World Computer Congress, TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS), 22-27 August 2004, Toulouse, France, VOLUME: 153
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP154
TITLE: Formally verifying information flow type systems for concurrent and thread systems
AUTHORS: Gilles Barthe; Leonor Prensa Nieto;
PUBLISHED: 2004, SOURCE: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004
AUTHORS: Gilles Barthe; Leonor Prensa Nieto;
PUBLISHED: 2004, SOURCE: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP155
TITLE: Secure Information Flow by Self-Composition
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2004, SOURCE: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2004, SOURCE: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP156
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
DBLP157
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
DBLP158
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
DBLP159
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
DBLP160
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
DBLP