Gilles Barthe
AuthID: R-00H-7MM
131
TITLE: A Certified Lightweight Non-interference Java Bytecode Verifier
AUTHORS: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLISHED: 2007, SOURCE: 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
AUTHORS: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP132
TITLE: Security of Multithreaded Programs by Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, VOLUME: 4734
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, VOLUME: 4734
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP133
TITLE: The MOBIUS Proof Carrying Code Infrastructure
AUTHORS: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLISHED: 2007, SOURCE: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, VOLUME: 5382
AUTHORS: Gilles Barthe; Pierre Crégut; Benjamin Grégoire; Thomas P Jensen; David Pichardie;
PUBLISHED: 2007, SOURCE: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, VOLUME: 5382
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP134
TITLE: Security types preserving compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLISHED: 2007, SOURCE: Comput. Lang. Syst. Struct., VOLUME: 33, ISSUE: 2
AUTHORS: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLISHED: 2007, SOURCE: Comput. Lang. Syst. Struct., VOLUME: 33, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP135
TITLE: Secure information flow for a concurrent language with scheduling
AUTHORS: Gilles Barthe; Leonor Prensa Nieto;
PUBLISHED: 2007, SOURCE: J. Comput. Secur., VOLUME: 15, ISSUE: 6
AUTHORS: Gilles Barthe; Leonor Prensa Nieto;
PUBLISHED: 2007, SOURCE: J. Comput. Secur., VOLUME: 15, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP136
TITLE: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
AUTHORS: Gilles Barthe; Julien Forest; David Pichardie; Vlad Rusu;
PUBLISHED: 2006, SOURCE: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, VOLUME: 3945
AUTHORS: Gilles Barthe; Julien Forest; David Pichardie; Vlad Rusu;
PUBLISHED: 2006, SOURCE: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, VOLUME: 3945
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP137
TITLE: JACK - A Tool for Validation of Security and Behaviour of Java Applications
AUTHORS: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLISHED: 2006, SOURCE: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, VOLUME: 4709
AUTHORS: Gilles Barthe; Lilian Burdy; Julien Charles; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet; Mariela Pavlova; Antoine Requet;
PUBLISHED: 2006, SOURCE: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, VOLUME: 4709
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP138
TITLE: CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2006, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, VOLUME: 4246
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2006, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, VOLUME: 4246
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP139
TITLE: Remarks on the equational theory of non-normalizing pure type systems
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2006, SOURCE: J. Funct. Program., VOLUME: 16, ISSUE: 2
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2006, SOURCE: J. Funct. Program., VOLUME: 16, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP140
TITLE: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
AUTHORS: Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet;
PUBLISHED: 2006, SOURCE: CASSIS, VOLUME: 3956
AUTHORS: Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet;
PUBLISHED: 2006, SOURCE: CASSIS, VOLUME: 3956
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP