Gilles Barthe
AuthID: R-00H-7MM
161
TÃTULO: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
AUTORES: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLICAÇÃO: 2005, FONTE: CASSIS, VOLUME: 3362
AUTORES: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLICAÇÃO: 2005, FONTE: CASSIS, VOLUME: 3362
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP162
TÃTULO: Formal Methods for Smartcard Security
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2005, FONTE: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures, VOLUME: 3655
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2005, FONTE: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures, VOLUME: 3655
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP163
TÃTULO: Proof Obligations Preserving Compilation
AUTORES: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLICAÇÃO: 2005, FONTE: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, VOLUME: 3866
AUTORES: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLICAÇÃO: 2005, FONTE: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, VOLUME: 3866
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP164
TÃTULO: Precise Analysis of Memory Consumption using Program Logics
AUTORES: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLICAÇÃO: 2005, FONTE: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
AUTORES: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLICAÇÃO: 2005, FONTE: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP165
TÃTULO: Practical Inference for Type-Based Termination in a Polymorphic Setting
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2005, FONTE: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, VOLUME: 3461
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2005, FONTE: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, VOLUME: 3461
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP166
TÃTULO: Non-interference for a JVM-like language
AUTORES: Gilles Barthe; Tamara Rezk;
PUBLICAÇÃO: 2005, FONTE: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005
AUTORES: Gilles Barthe; Tamara Rezk;
PUBLICAÇÃO: 2005, FONTE: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP167
TÃTULO: Preventing Timing Leaks Through Transactional Branching Instructions
AUTORES: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005, VOLUME: 153
AUTORES: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005, VOLUME: 153
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP168
TÃTULO: A computational view of implicit coercions in type theory
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2005, FONTE: Math. Struct. Comput. Sci., VOLUME: 15, NÚMERO: 5
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2005, FONTE: Math. Struct. Comput. Sci., VOLUME: 15, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP169
TÃTULO: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
AUTORES: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, VOLUME: 3097
AUTORES: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, VOLUME: 3097
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP170
TÃTULO: Enforcing High-Level Security Properties for Applets
AUTORES: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2004, FONTE: 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
AUTORES: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2004, FONTE: 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
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP