Gilles Barthe
AuthID: R-00H-7MM
131
TÃTULO: The MOBIUS Proof Carrying Code Infrastructure
AUTORES: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLICAÇÃO: 2007, FONTE: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, VOLUME: 5382
AUTORES: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLICAÇÃO: 2007, FONTE: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, VOLUME: 5382
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP132
TÃTULO: Security types preserving compilation
AUTORES: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLICAÇÃO: 2007, FONTE: Comput. Lang. Syst. Struct., VOLUME: 33, NÚMERO: 2
AUTORES: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLICAÇÃO: 2007, FONTE: Comput. Lang. Syst. Struct., VOLUME: 33, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP133
TÃTULO: Secure information flow for a concurrent language with scheduling
AUTORES: Gilles Barthe; Leonor Prensa Nieto;
PUBLICAÇÃO: 2007, FONTE: J. Comput. Secur., VOLUME: 15, NÚMERO: 6
AUTORES: Gilles Barthe; Leonor Prensa Nieto;
PUBLICAÇÃO: 2007, FONTE: J. Comput. Secur., VOLUME: 15, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP134
TÃTULO: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
AUTORES: Gilles Barthe; Julien Forest; David Pichardie; Vlad Rusu;
PUBLICAÇÃO: 2006, FONTE: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, VOLUME: 3945
AUTORES: Gilles Barthe; Julien Forest; David Pichardie; Vlad Rusu;
PUBLICAÇÃO: 2006, FONTE: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, VOLUME: 3945
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP135
TÃTULO: JACK - A Tool for Validation of Security and Behaviour of Java Applications
AUTORES: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLICAÇÃO: 2006, FONTE: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, VOLUME: 4709
AUTORES: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLICAÇÃO: 2006, FONTE: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, VOLUME: 4709
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP136
TÃTULO: CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2006, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, VOLUME: 4246
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2006, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, VOLUME: 4246
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP137
TÃTULO: Remarks on the equational theory of non-normalizing pure type systems
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2006, FONTE: J. Funct. Program., VOLUME: 16, NÚMERO: 2
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2006, FONTE: J. Funct. Program., VOLUME: 16, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP138
TÃTULO: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
AUTORES: Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2006, FONTE: CASSIS, VOLUME: 3956
AUTORES: Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2006, FONTE: CASSIS, VOLUME: 3956
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP139
TÃTULO: Certificate Translation for Optimizing Compilers
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLICAÇÃO: 2006, FONTE: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, VOLUME: 4134
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLICAÇÃO: 2006, FONTE: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, VOLUME: 4134
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP140
TÃTULO: Deriving an Information Flow Checker and Certifying Compiler for Java
AUTORES: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLICAÇÃO: 2006, FONTE: 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA
AUTORES: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLICAÇÃO: 2006, FONTE: 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP