Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

131
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: FMCO
INDEXADO EM: DBLP
NO MEU: DBLP
132
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: LPAR
INDEXADO EM: DBLP
NO MEU: DBLP
133
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
INDEXADO EM: DBLP
NO MEU: DBLP
134
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
INDEXADO EM: DBLP
NO MEU: DBLP
135
TÍTULO: Certificate Translation for Optimizing Compilers
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLICAÇÃO: 2006, FONTE: SAS
INDEXADO EM: DBLP
NO MEU: DBLP
136
TÍTULO: Deriving an Information Flow Checker and Certifying Compiler for Java
AUTORES: Gilles Barthe; Tamara Rezk; David A Naumann;
PUBLICAÇÃO: 2006, FONTE: S&P
INDEXADO EM: DBLP
NO MEU: DBLP
137
TÍTULO: MOBIUS: Mobility, Ubiquity, Security
AUTORES: 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;
PUBLICAÇÃO: 2006, FONTE: TGC
INDEXADO EM: DBLP
NO MEU: DBLP
138
TÍTULO: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
AUTORES: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLICAÇÃO: 2005, FONTE: CASSIS, VOLUME: 3362
INDEXADO EM: DBLP
NO MEU: DBLP
139
TÍTULO: Formal Methods for Smartcard Security
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2005, FONTE: FOSAD
INDEXADO EM: DBLP
NO MEU: DBLP
140
TÍTULO: Proof Obligations Preserving Compilation
AUTORES: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLICAÇÃO: 2005, FONTE: Formal Aspects in Security and Trust
INDEXADO EM: DBLP
NO MEU: DBLP
Página 14 de 20. Total de resultados: 193.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service