Gilles Barthe
AuthID: R-00H-7MM
131
TÃTULO: Mobility, Ubiquity and Security, 25.02. - 02.03.2007
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, VOLUME: 07091
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, VOLUME: 07091
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP132
TÃTULO: 07091 Executive Summary - Mobility, Ubiquity and Security
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP133
TÃTULO: 07091 Abstracts Collection - Mobility, Ubiquity and Security
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP134
TÃTULO: A Certified Lightweight Non-interference Java Bytecode Verifier
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2007, FONTE: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, VOLUME: 4421
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2007, FONTE: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, VOLUME: 4421
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP135
TÃTULO: Security of Multithreaded Programs by Compilation
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, VOLUME: 4734
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, VOLUME: 4734
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP136
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
DBLP137
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
DBLP138
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
DBLP139
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
DBLP140
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
DBLP