Gilles Barthe
AuthID: R-00H-7MM
101
TÃTULO: Certified Reasoning in Memory Hierarchies
AUTORES: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLICAÇÃO: 2008, FONTE: APLAS
AUTORES: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLICAÇÃO: 2008, FONTE: APLAS
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP102
TÃTULO: Certificate Translation PDF
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP103
TÃTULO: Preservation of Proof Obligations from Java to the Java Virtual Machine
AUTORES: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLICAÇÃO: 2008, FONTE: IJCAR
AUTORES: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLICAÇÃO: 2008, FONTE: IJCAR
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP104
TÃTULO: Tractable Enforcement of Declassification Policies
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: CSF
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP105
TÃTULO: Type-Based Termination with Sized Products
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: CSL
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: CSL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP106
TÃTULO: Certificate Translation in Abstract Interpretation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: ESOP
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: ESOP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP107
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
DBLP108
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
DBLP109
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
DBLP110
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
DBLP