Gilles Barthe
AuthID: R-00H-7MM
81
TÃTULO: Beyond Provable Security Verifiable IND-CCA Security of OAEP
AUTORES: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: CT-RSA
AUTORES: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: CT-RSA
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP82
TÃTULO: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2011, FONTE: FM
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2011, FONTE: FM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP83
TÃTULO: Relational Verification Using Product Programs
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2011, FONTE: FM
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2011, FONTE: FM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP84
TÃTULO: A Computational Indistinguishability Logic for the Bounded Storage Model
AUTORES: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLICAÇÃO: 2011, FONTE: FPS
AUTORES: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLICAÇÃO: 2011, FONTE: FPS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP85
TÃTULO: Verifiable Security of Boneh-Franklin Identity-Based Encryption
AUTORES: Gilles Barthe; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: ProvSec
AUTORES: Gilles Barthe; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: ProvSec
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP86
TÃTULO: Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language
AUTORES: Gilles Barthe; Exequiel Rivas;
PUBLICAÇÃO: 2011, FONTE: TGC
AUTORES: Gilles Barthe; Exequiel Rivas;
PUBLICAÇÃO: 2011, FONTE: TGC
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP87
TÃTULO: Secure information flow by self-composition
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2011, FONTE: Math. Struct. Comput. Sci., VOLUME: 21, NÚMERO: 6
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2011, FONTE: Math. Struct. Comput. Sci., VOLUME: 21, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP88
TÃTULO: An Abstract Model of Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2011, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 33, NÚMERO: 4
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2011, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 33, NÚMERO: 4
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP89
TÃTULO: Computational indistinguishability logic
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLICAÇÃO: 2010, FONTE: CCS
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLICAÇÃO: 2010, FONTE: CCS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP90
TÃTULO: A Machine-Checked Formalization of Sigma-Protocols
AUTORES: Gilles Barthe; Daniel Hedin; Santiago Zanella Béguelin; Benjamin Grégoire; Sylvain Heraud;
PUBLICAÇÃO: 2010, FONTE: CSF
AUTORES: Gilles Barthe; Daniel Hedin; Santiago Zanella Béguelin; Benjamin Grégoire; Sylvain Heraud;
PUBLICAÇÃO: 2010, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP