Gilles Barthe
AuthID: R-00H-7MM
101
TITLE: Certified Reasoning in Memory Hierarchies
AUTHORS: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLISHED: 2008, SOURCE: APLAS
AUTHORS: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLISHED: 2008, SOURCE: APLAS
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP102
TITLE: Certificate Translation PDF
AUTHORS: Gilles Barthe;
PUBLISHED: 2008, SOURCE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
AUTHORS: Gilles Barthe;
PUBLISHED: 2008, SOURCE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP103
TITLE: Preservation of Proof Obligations from Java to the Java Virtual Machine
AUTHORS: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLISHED: 2008, SOURCE: IJCAR
AUTHORS: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLISHED: 2008, SOURCE: IJCAR
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP104
TITLE: Tractable Enforcement of Declassification Policies
AUTHORS: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLISHED: 2008, SOURCE: CSF
AUTHORS: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLISHED: 2008, SOURCE: CSF
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP105
TITLE: Type-Based Termination with Sized Products
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: CSL
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: CSL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP106
TITLE: Certificate Translation in Abstract Interpretation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: ESOP
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: ESOP
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP107
TITLE: Certificate translation for specification-preserving advices
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: FOAL
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: FOAL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP108
TITLE: An Introduction to Certificate Translation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: FOSAD
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: FOSAD
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP109
TITLE: Formal Certification of ElGamal Encryption
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLISHED: 2008, SOURCE: Formal Aspects in Security and Trust
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLISHED: 2008, SOURCE: Formal Aspects in Security and Trust
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP110
TITLE: A Tutorial on Type-Based Termination
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: LerNet ALFA Summer School
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: LerNet ALFA Summer School
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP