Gilles Barthe
AuthID: R-00H-7MM
141
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
DBLP142
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
DBLP143
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
DBLP144
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
DBLP145
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
DBLP146
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
DBLP147
TITLE: Certificate Translation for Optimizing Compilers
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2006, SOURCE: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, VOLUME: 4134
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2006, SOURCE: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, VOLUME: 4134
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP148
TITLE: Deriving an Information Flow Checker and Certifying Compiler for Java
AUTHORS: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLISHED: 2006, SOURCE: 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA
AUTHORS: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLISHED: 2006, SOURCE: 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP149
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
DBLP150
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
DBLP