Santiago Zanella Béguelin

According to our database, Santiago Zanella Béguelin authored at least 50 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Closed-Form Bounds for DP-SGD against Record-level Inference.

Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella Béguelin

CoRR, 2024

2023

Rethinking Privacy in Machine Learning Pipelines from an Information Flow Control Perspective.

Lukas Wutschitz, Boris Köpf, Andrew Paverd, Saravan Rajmohan, Ahmed Salem, Shruti Tople, Santiago Zanella Béguelin, Menglin Xia, Victor Rühle

CoRR, 2023

On the Efficacy of Differentially Private Few-shot Image Classification.

Marlon Tobaben, Aliaksandra Shysheya, John Bronskill, Andrew Paverd, Shruti Tople, Santiago Zanella Béguelin, Richard E. Turner, Antti Honkela

CoRR, 2023

SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning.

Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella Béguelin

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Analyzing Leakage of Personally Identifiable Information in Language Models.

Nils Lukas, Ahmed Salem, Robert Sim, Shruti Tople, Lukas Wutschitz, Santiago Zanella Béguelin

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Bayesian Estimation of Differential Privacy.

Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Rühle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones

Proceedings of the International Conference on Machine Learning, 2023

2021

Grey-box Extraction of Natural Language Models.

Santiago Zanella Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms).

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2020

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms).

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

Analyzing Information Leakage of Updates to Natural Language Models.

Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Victor Rühle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2019

Analyzing Privacy Loss in Updates of Natural Language Models.

Shruti Tople, Marc Brockschmidt, Boris Köpf, Olga Ohrimenko, Santiago Zanella Béguelin

CoRR, 2019

Imperfect forward secrecy: how Diffie-Hellman fails in practice.

David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Luke Valenta, Benjamin VanderSloot, Eric Wustrow, Santiago Zanella Béguelin, Paul Zimmermann

Commun. ACM, 2019

2018

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.

Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Verified low-level programming embedded in F.

Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

Proc. ACM Program. Lang., 2017

A Monadic Framework for Relational Verification (Functional Pearl).

Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin

CoRR, 2017

Verified Low-Level Programming Embedded in F^*.

Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

CoRR, 2017

Everest: Towards a Verified, Drop-in Replacement of HTTPS.

Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

Implementing and Proving the TLS 1.3 Record Layer.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Jean Karim Zinzindohoue

IACR Cryptol. ePrint Arch., 2016

Downgrade Resilience in Key-Exchange Protocols.

Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2016

Dependent types and multi-monadic effects in F.

Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Formal Verification of Smart Contracts: Short Paper.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2014

Proving the TLS Handshake Secure (as it is).

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2014

Probabilistic relational verification for cryptographic implementations.

Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk).

Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella Béguelin

Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014

2013

Probabilistic Relational Reasoning for Differential Privacy.

Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin

ACM Trans. Program. Lang. Syst., 2013

Verified indifferentiable hashing into elliptic curves.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin

J. Comput. Secur., 2013

Verified Computational Differential Privacy with Applications to Smart Metering.

Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Smart meter aggregation via secret-sharing.

George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella Béguelin

Proceedings of the SEGS'13, 2013

Fully automated analysis of padding-based encryption in the computational model.

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella Béguelin

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Verified Security of Redundancy-Free Encryption from Rabin and RSA.

Gilles Barthe, David Pointcheval, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2012

Automated Analysis and Synthesis of Padding-Based Encryption Schemes.

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2012

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.

José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2012

Computer-Aided Cryptographic Proofs.

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin

Proceedings of the Static Analysis - 19th International Symposium, 2012

Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs.

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Computer-Aided Cryptographic Proofs.

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Verified Security of Merkle-Damgård.

Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs.

Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

Verifiable Security of Boneh-Franklin Identity-Based Encryption.

Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin

Proceedings of the Provable Security - 5th International Conference, 2011

Beyond Provable Security Verifiable IND-CCA Security of OAEP.

Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Béguelin

Proceedings of the Topics in Cryptology - CT-RSA 2011, 2011

Computer-Aided Security Proofs for the Working Cryptographer.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin

Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

2010

Formal certification of game-based cryptographic proofs. (Certification formelle de preuves cryptographiques basées sur les séquences de jeux).

Santiago Zanella Béguelin

PhD thesis, 2010

Programming Language Techniques for Cryptographic Proofs.

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

A Machine-Checked Formalization of Sigma-Protocols.

Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Formally Certifying the Security of Digital Signature Schemes.

Santiago Zanella Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

Formal certification of code-based cryptographic proofs.

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

Formal Certification of ElGamal Encryption.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2006

A Formal Specification of the MIDP 2.0 Security Model.

Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.

Santiago Zanella Béguelin

Proceedings of the Construction and Analysis of Safe, 2005