Santiago Zanella-Béguelin

Available identifiers

zbMath Open zanella-beguelin.santiagoMaRDI QIDQ2828264

List of research outcomes

Publication	Date of Publication	Type
Dependent types and multi-monadic effects in \(\mathrm{F}^*\)	2016-10-24	Paper
Probabilistic relational reasoning for differential privacy	2015-09-11	Paper
Formal certification of code-based cryptographic proofs	2015-07-03	Paper
Proving the TLS Handshake Secure (As It Is)	2014-08-07	Paper
Probabilistic relational verification for cryptographic implementations	2014-04-10	Paper
Computer-Aided Cryptographic Proofs	2012-09-20	Paper
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs	2012-09-05	Paper
Verified Indifferentiable Hashing into Elliptic Curves	2012-06-29	Paper
Verifiable Security of Boneh-Franklin Identity-Based Encryption	2011-09-16	Paper
Computer-Aided Security Proofs for the Working Cryptographer	2011-08-12	Paper
Beyond Provable Security Verifiable IND-CCA Security of OAEP	2011-02-11	Paper
Programming Language Techniques for Cryptographic Proofs	2010-09-14	Paper
Formal Certification of ElGamal Encryption	2009-04-07	Paper

Research outcomes over time

This page was built for person: Santiago Zanella-Béguelin