Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice
- David Adrian, K. Bhargavan, P. Zimmermann
- Computer ScienceCCS
- 12 October 2015
TLDR
Computer-Aided Security Proofs for the Working Cryptographer
- G. Barthe, B. Grégoire, S. Heraud, Santiago Zanella Béguelin
- Computer Science, MathematicsCRYPTO
- 14 August 2011
TLDR
Formal certification of code-based cryptographic proofs
- G. Barthe, B. Grégoire, Santiago Zanella Béguelin
- Computer Science, MathematicsPOPL '09
- 21 January 2009
TLDR
Formal Verification of Smart Contracts: Short Paper
- K. Bhargavan, Antoine Delignat-Lavaud, Santiago Zanella Béguelin
- Computer SciencePLAS@CCS
- 24 October 2016
TLDR
Probabilistic Relational Reasoning for Differential Privacy
- G. Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin
- Computer ScienceTOPL
- 25 January 2012
TLDR
Verified low-level programming embedded in F*
- Jonathan Protzenko, J. Zinzindohoué, N. Swamy
- Computer ScienceProc. ACM Program. Lang.
- 28 February 2017
TLDR
Fully automated analysis of padding-based encryption in the computational model
- G. Barthe, Juan Manuel Crespo, Santiago Zanella Béguelin
- Computer Science, MathematicsCCS
- 4 November 2013
TLDR
Beyond Provable Security Verifiable IND-CCA Security of OAEP
- G. Barthe, B. Grégoire, Y. Lakhnech, Santiago Zanella Béguelin
- Computer Science, MathematicsCT-RSA
- 14 February 2011
TLDR
Smart meter aggregation via secret-sharing
- G. Danezis, C. Fournet, Markulf Kohlweiss, Santiago Zanella Béguelin
- Computer Science, MathematicsSEGS '13
- 8 November 2013
We design and prototype protocols for processing smart-meter readings while preserving user privacy. We provide support for computing non-linear functions on encrypted readings, implemented by…
Downgrade Resilience in Key-Exchange Protocols
- K. Bhargavan, Christina Brzuska, C. Fournet, M. Green, Markulf Kohlweiss, Santiago Zanella Béguelin
- Computer Science, MathematicsIEEE Symposium on Security and Privacy (SP)
- 22 May 2016
TLDR
...
...