Gilles Barthe
AuthID: R-00H-7MM
91
TITLE: An Abstract Model of Certificate Translation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2011, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 33, ISSUE: 4
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2011, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 33, ISSUE: 4
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP92
TITLE: Computational indistinguishability logic
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLISHED: 2010, SOURCE: CCS
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLISHED: 2010, SOURCE: CCS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP93
TITLE: A Machine-Checked Formalization of Sigma-Protocols
AUTHORS: Gilles Barthe; Daniel Hedin; Santiago Zanella Béguelin; Benjamin Grégoire; Sylvain Heraud;
PUBLISHED: 2010, SOURCE: CSF
AUTHORS: Gilles Barthe; Daniel Hedin; Santiago Zanella Béguelin; Benjamin Grégoire; Sylvain Heraud;
PUBLISHED: 2010, SOURCE: CSF
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP94
TITLE: Robustness Guarantees for Anonymity
AUTHORS: Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi;
PUBLISHED: 2010, SOURCE: CSF
AUTHORS: Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi;
PUBLISHED: 2010, SOURCE: CSF
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP95
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
DBLP96
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
DBLP97
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
DBLP98
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
DBLP99
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
DBLP100
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
DBLP