Gilles Barthe
AuthID: R-00H-7MM
81
TITLE: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization
AUTHORS: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLISHED: 2011, SOURCE: FM
AUTHORS: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLISHED: 2011, SOURCE: FM
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP82
TITLE: Relational Verification Using Product Programs
AUTHORS: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLISHED: 2011, SOURCE: FM
AUTHORS: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLISHED: 2011, SOURCE: FM
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP83
TITLE: A Computational Indistinguishability Logic for the Bounded Storage Model
AUTHORS: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLISHED: 2011, SOURCE: FPS
AUTHORS: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLISHED: 2011, SOURCE: FPS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP84
TITLE: Verifiable Security of Boneh-Franklin Identity-Based Encryption
AUTHORS: Gilles Barthe; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2011, SOURCE: ProvSec
AUTHORS: Gilles Barthe; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2011, SOURCE: ProvSec
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP85
TITLE: Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language
AUTHORS: Gilles Barthe; Exequiel Rivas;
PUBLISHED: 2011, SOURCE: TGC
AUTHORS: Gilles Barthe; Exequiel Rivas;
PUBLISHED: 2011, SOURCE: TGC
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP86
TITLE: Secure information flow by self-composition
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2011, SOURCE: Math. Struct. Comput. Sci., VOLUME: 21, ISSUE: 6
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2011, SOURCE: Math. Struct. Comput. Sci., VOLUME: 21, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP87
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
DBLP88
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
DBLP89
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
DBLP90
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
DBLP