Gilles Barthe
AuthID: R-00H-7MM
81
TÃTULO: Probabilistic relational reasoning for differential privacy
AUTORES: Gilles Barthe; Boris Köpf; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: POPL
AUTORES: Gilles Barthe; Boris Köpf; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: POPL
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP82
TÃTULO: Verified Indifferentiable Hashing into Elliptic Curves
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: POST
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: POST
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP83
TÃTULO: Computer-Aided Cryptographic Proofs
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: SAS
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: SAS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP84
TÃTULO: Automated Analysis and Synthesis of Padding-Based Encryption Schemes
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2012
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP85
TÃTULO: Computer-Aided Security Proofs for the Working Cryptographer
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: CRYPTO
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: CRYPTO
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP86
TÃTULO: Information-Theoretic Bounds for Differentially Private Mechanisms
AUTORES: Gilles Barthe; Boris Köpf;
PUBLICAÇÃO: 2011, FONTE: CSF
AUTORES: Gilles Barthe; Boris Köpf;
PUBLICAÇÃO: 2011, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP87
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
DBLP88
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
DBLP89
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
DBLP90
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
DBLP