Santiago Zanella-Béguelin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Dependent types and multi-monadic effects in \(\mathrm{F}^\) Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages*	2016-10-24	Paper
Probabilistic relational reasoning for differential privacy Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
Formal certification of code-based cryptographic proofs Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-07-03	Paper
Proving the TLS handshake secure (as it is) Advances in Cryptology – CRYPTO 2014	2014-08-07	Paper
Probabilistic relational verification for cryptographic implementations Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Computer-aided cryptographic proofs Interactive Theorem Proving	2012-09-20	Paper
Probabilistic relational Hoare logics for computer-aided security proofs Lecture Notes in Computer Science	2012-09-05	Paper
Verified indifferentiable hashing into elliptic curves Lecture Notes in Computer Science	2012-06-29	Paper
Verifiable security of Boneh-Franklin identity-based encryption Provable Security	2011-09-16	Paper
Computer-Aided Security Proofs for the Working Cryptographer Advances in Cryptology – CRYPTO 2011	2011-08-12	Paper
Beyond provable security verifiable IND-CCA security of OAEP Topics in Cryptology – CT-RSA 2011	2011-02-11	Paper
Programming language techniques for cryptographic proofs Interactive Theorem Proving	2010-09-14	Paper
Formal Certification of ElGamal Encryption Formal Aspects in Security and Trust	2009-04-07	Paper

Research outcomes over time

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