Gilles Barthe
AuthID: R-00H-7MM
141
TITLE: MOBIUS: Mobility, Ubiquity, Security
AUTHORS: Gilles Barthe; Lennart Beringer; Pierre Crégut; Benjamin Grégoire; Martin Hofmann; Peter Müller; Erik Poll; Germán Puebla; Ian Stark; Eric Vétillard;
PUBLISHED: 2006, SOURCE: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, VOLUME: 4661
AUTHORS: Gilles Barthe; Lennart Beringer; Pierre Crégut; Benjamin Grégoire; Martin Hofmann; Peter Müller; Erik Poll; Germán Puebla; Ian Stark; Eric Vétillard;
PUBLISHED: 2006, SOURCE: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, VOLUME: 4661
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP142
TITLE: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
AUTHORS: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLISHED: 2005, SOURCE: CASSIS, VOLUME: 3362
AUTHORS: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLISHED: 2005, SOURCE: CASSIS, VOLUME: 3362
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP143
TITLE: Formal Methods for Smartcard Security
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2005, SOURCE: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures, VOLUME: 3655
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2005, SOURCE: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures, VOLUME: 3655
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP144
TITLE: Proof Obligations Preserving Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, VOLUME: 3866
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, VOLUME: 3866
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP145
TITLE: Precise Analysis of Memory Consumption using Program Logics
AUTHORS: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLISHED: 2005, SOURCE: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
AUTHORS: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLISHED: 2005, SOURCE: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP146
TITLE: Practical Inference for Type-Based Termination in a Polymorphic Setting
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2005, SOURCE: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, VOLUME: 3461
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2005, SOURCE: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, VOLUME: 3461
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP147
TITLE: Non-interference for a JVM-like language
AUTHORS: Gilles Barthe; Tamara Rezk;
PUBLISHED: 2005, SOURCE: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005
AUTHORS: Gilles Barthe; Tamara Rezk;
PUBLISHED: 2005, SOURCE: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP148
TITLE: Preventing Timing Leaks Through Transactional Branching Instructions
AUTHORS: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLISHED: 2005, SOURCE: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005, VOLUME: 153
AUTHORS: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLISHED: 2005, SOURCE: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005, VOLUME: 153
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP149
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
DBLP150
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
DBLP