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 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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