Gilles Barthe
AuthID: R-00H-7MM
91
TITLE: Security of multithreaded programs by compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2010, SOURCE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, ISSUE: 3
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2010, SOURCE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, ISSUE: 3
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP92
TITLE: Implementing a Direct Method for Certificate Translation
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLISHED: 2009, SOURCE: ICFEM
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLISHED: 2009, SOURCE: ICFEM
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP93
TITLE: Formal certification of code-based cryptographic proofs
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2009, SOURCE: POPL
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2009, SOURCE: POPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP94
TITLE: Formally Certifying the Security of Digital Signature Schemes
AUTHORS: Santiago Zanella Béguelin; Gilles Barthe; Benjamin Grégoire; Federico Olmedo;
PUBLISHED: 2009, SOURCE: SP
AUTHORS: Santiago Zanella Béguelin; Gilles Barthe; Benjamin Grégoire; Federico Olmedo;
PUBLISHED: 2009, SOURCE: SP
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP95
TITLE: Certificate translation for optimizing compilers
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2009, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 31, ISSUE: 5
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2009, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 31, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP96
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
DBLP97
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
DBLP98
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
DBLP99
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
DBLP100
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
DBLP