Gilles Barthe
AuthID: R-00H-7MM
91
TITLE: A Functional Framework for Result Checking
AUTHORS: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLISHED: 2010, SOURCE: FLOPS
AUTHORS: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLISHED: 2010, SOURCE: FLOPS
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP92
TITLE: Programming Language Techniques for Cryptographic Proofs
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2010, SOURCE: ITP
AUTHORS: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLISHED: 2010, SOURCE: ITP
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP93
TITLE: On the Equality of Probabilistic Terms
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLISHED: 2010, SOURCE: LPAR (Dakar)
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLISHED: 2010, SOURCE: LPAR (Dakar)
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP94
TITLE: Perspectives in Certificate Translation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2010, SOURCE: TGC
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2010, SOURCE: TGC
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP95
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
DBLP96
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
DBLP97
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
DBLP98
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
DBLP99
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
DBLP100
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
DBLP