Gilles Barthe


AuthID: R-00H-7MM

Publications Requiring Validation

131
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: FMCO
INDEXED IN: DBLP
IN MY: DBLP
132
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: LPAR
INDEXED IN: DBLP
IN MY: DBLP
133
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
INDEXED IN: DBLP
IN MY: DBLP
134
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
INDEXED IN: DBLP
IN MY: DBLP
135
TITLE: Certificate Translation for Optimizing Compilers
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2006, SOURCE: SAS
INDEXED IN: DBLP
IN MY: DBLP
136
TITLE: Deriving an Information Flow Checker and Certifying Compiler for Java
AUTHORS: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLISHED: 2006, SOURCE: S&P
INDEXED IN: DBLP
IN MY: DBLP
137
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: TGC
INDEXED IN: DBLP
IN MY: DBLP
138
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
INDEXED IN: DBLP
IN MY: DBLP
139
TITLE: Formal Methods for Smartcard Security
AUTHORS: Gilles Barthe; Guillaume Dufay;
PUBLISHED: 2005, SOURCE: FOSAD
INDEXED IN: DBLP
IN MY: DBLP
140
TITLE: Proof Obligations Preserving Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust
INDEXED IN: DBLP
IN MY: DBLP
Page 14 of 20. Total results: 193.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service