Gilles Barthe
AuthID: R-00H-7MM
111
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
DBLP112
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
DBLP113
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
DBLP114
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
DBLP115
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
DBLP116
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
DBLP117
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
DBLP118
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
DBLP119
TITLE: Preservation of Proof Pbligations for Hybrid Verification Methods
AUTHORS: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLISHED: 2008, SOURCE: SEFM
AUTHORS: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLISHED: 2008, SOURCE: SEFM
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP120
TITLE: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
AUTHORS: Gilles Barthe; Cédric Fournet;
PUBLISHED: 2008, SOURCE: TGC, VOLUME: 4912
AUTHORS: Gilles Barthe; Cédric Fournet;
PUBLISHED: 2008, SOURCE: TGC, VOLUME: 4912
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP