Gilles Barthe
AuthID: R-00H-7MM
101
TÃTULO: Certificate translation for specification-preserving advices
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOAL
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOAL
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP102
TÃTULO: An Introduction to Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOSAD
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOSAD
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP103
TÃTULO: Formal Certification of ElGamal Encryption
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2008, FONTE: Formal Aspects in Security and Trust
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2008, FONTE: Formal Aspects in Security and Trust
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP104
TÃTULO: A Tutorial on Type-Based Termination
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: LerNet ALFA Summer School
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: LerNet ALFA Summer School
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP105
TÃTULO: Preservation of Proof Pbligations for Hybrid Verification Methods
AUTORES: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLICAÇÃO: 2008, FONTE: SEFM
AUTORES: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLICAÇÃO: 2008, FONTE: SEFM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP106
TÃTULO: Formal Methods for Open Object-Based Distributed Systems. 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008
INDEXADO EM: 
Openlibrary
Openlibrary107
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
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP108
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
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP109
TÃTULO: A Certified Lightweight Non-interference Java Bytecode Verifier
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2007, FONTE: ESOP
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2007, FONTE: ESOP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP110
TÃTULO: Security of Multithreaded Programs by Compilation
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: ESORICS
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: ESORICS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP