Gilles Barthe
AuthID: R-00H-7MM
71
TÃTULO: Secure Multi-Execution through Static Program Transformation
AUTORES: Gilles Barthe; Juan Manuel Crespo; Dominique Devriese; Frank Piessens; Exequiel Rivas;
PUBLICAÇÃO: 2012, FONTE: FMOODS/FORTE
AUTORES: Gilles Barthe; Juan Manuel Crespo; Dominique Devriese; Frank Piessens; Exequiel Rivas;
PUBLICAÇÃO: 2012, FONTE: FMOODS/FORTE
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP72
TÃTULO: Preface
AUTORES: Gilles Barthe; Jorge Cuéllar; Javier López; Alexander Pretschner;
PUBLICAÇÃO: 2012, FONTE: J. Comput. Secur., VOLUME: 20, NÚMERO: 4
AUTORES: Gilles Barthe; Jorge Cuéllar; Javier López; Alexander Pretschner;
PUBLICAÇÃO: 2012, FONTE: J. Comput. Secur., VOLUME: 20, NÚMERO: 4
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP73
TÃTULO: Computer-Aided Cryptographic Proofs
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: ITP
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: ITP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP74
TÃTULO: Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: MPC
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: MPC
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP75
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
DBLP76
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
DBLP77
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
DBLP78
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
DBLP79
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
DBLP80
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
DBLP