Santiago Zanella Béguelin

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 28

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

CCS

IEEE Symposium on Security and Privacy

Mines ParisTech, France (PHD)

Education History

Mines ParisTech, France

PHD

Publications

Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Rühle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
Bayesian Estimation of Differential Privacy. ICML (2023)
Nils Lukas, Ahmed Salem, Robert Sim, Shruti Tople, Lukas Wutschitz, Santiago Zanella Béguelin
Analyzing Leakage of Personally Identifiable Information in Language Models. CoRR (2023)
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella Béguelin
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning. SP (2023)
Marlon Tobaben, Aliaksandra Shysheya, John Bronskill, Andrew Paverd, Shruti Tople, Santiago Zanella Béguelin, Richard E. Turner, Antti Honkela
On the Efficacy of Differentially Private Few-shot Image Classification. CoRR (2023)
Lukas Wutschitz, Boris Köpf, Andrew Paverd, Saravan Rajmohan, Ahmed Salem, Shruti Tople, Santiago Zanella Béguelin, Menglin Xia, Victor Rühle
Rethinking Privacy in Machine Learning Pipelines from an Information Flow Control Perspective. CoRR (2023)
Nils Lukas, Ahmed Salem, Robert Sim, Shruti Tople, Lukas Wutschitz, Santiago Zanella Béguelin
Analyzing Leakage of Personally Identifiable Information in Language Models. SP (2023)
Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Rühle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
Bayesian Estimation of Differential Privacy. CoRR (2022)
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella Béguelin
SoK: Let The Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning. CoRR (2022)
Santiago Zanella Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
Grey-box Extraction of Natural Language Models. ICML (2021)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms). CCS (2020)
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IEEE Symposium on Security and Privacy (2020)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin
HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms). IACR Cryptol. ePrint Arch. 2020 (2020)
Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Victor Rühle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
Analyzing Information Leakage of Updates to Natural Language Models. CCS (2020)
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
Imperfect forward secrecy: how Diffie-Hellman fails in practice. Commun. ACM 62 (1) (2019)
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. 2019 (2019)
Shruti Tople, Marc Brockschmidt, Boris Köpf, Olga Ohrimenko, Santiago Zanella Béguelin
Analyzing Privacy Loss in Updates of Natural Language Models. CoRR (2019)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. CPP (2018)
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue
Implementing and Proving the TLS 1.3 Record Layer. IEEE Symposium on Security and Privacy (2017)
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)
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
Verified low-level programming embedded in F. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A Monadic Framework for Relational Verification (Functional Pearl). CoRR (2017)
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan 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
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL (2017)
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
Formal Verification of Smart Contracts: Short Paper. PLAS@CCS (2016)
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella Béguelin
Downgrade Resilience in Key-Exchange Protocols. IEEE Symposium on Security and Privacy (2016)
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
Dependent types and multi-monadic effects in F. POPL (2016)
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella Béguelin
Downgrade Resilience in Key-Exchange Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)
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
Implementing and Proving the TLS 1.3 Record Layer. IACR Cryptol. ePrint Arch. 2016 (2016)
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
Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice. CCS (2015)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin
Proving the TLS Handshake Secure (As It Is). CRYPTO (2) (2014)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin
Proving the TLS Handshake Secure (as it is). IACR Cryptol. ePrint Arch. 2014 (2014)
Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella Béguelin
Probabilistic relational verification for cryptographic implementations. POPL (2014)
Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella Béguelin
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). VPT@CAV (2014)
Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin
Verified Computational Differential Privacy with Applications to Smart Metering. CSF (2013)
George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella Béguelin
Smart meter aggregation via secret-sharing. SEGS@CCS (2013)
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin
Probabilistic Relational Reasoning for Differential Privacy. ACM Trans. Program. Lang. Syst. 35 (3) (2013)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin
Verified indifferentiable hashing into elliptic curves. J. Comput. Secur. 21 (6) (2013)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella Béguelin
Fully automated analysis of padding-based encryption in the computational model. CCS (2013)
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin
Probabilistic relational reasoning for differential privacy. POPL (2012)
Gilles Barthe, David Pointcheval, Santiago Zanella Béguelin
Verified security of redundancy-free encryption from Rabin and RSA. CCS (2012)
Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin
Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. CPP (2012)
Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin
Verified Security of Merkle-Damgård. CSF (2012)
José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin
Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. IACR Cryptol. ePrint Arch. 2012 (2012)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin
Automated Analysis and Synthesis of Padding-Based Encryption Schemes. IACR Cryptol. ePrint Arch. 2012 (2012)
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. MPC (2012)
Gilles Barthe, David Pointcheval, Santiago Zanella Béguelin
Verified Security of Redundancy-Free Encryption from Rabin and RSA. IACR Cryptol. ePrint Arch. 2012 (2012)
José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin
Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. CCS (2012)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin
Verified Indifferentiable Hashing into Elliptic Curves. POST (2012)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin
Computer-Aided Cryptographic Proofs. ITP (2012)
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin
Computer-Aided Cryptographic Proofs. SAS (2012)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin
Computer-Aided Security Proofs for the Working Cryptographer. CRYPTO (2011)
Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Béguelin
Beyond Provable Security Verifiable IND-CCA Security of OAEP. CT-RSA (2011)
Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin
Verifiable Security of Boneh-Franklin Identity-Based Encryption. ProvSec (2011)
Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud
A Machine-Checked Formalization of Sigma-Protocols. CSF (2010)
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin
Programming Language Techniques for Cryptographic Proofs. ITP (2010)
Santiago Zanella Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo
Formally Certifying the Security of Digital Signature Schemes. IEEE Symposium on Security and Privacy (2009)
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin
Formal certification of code-based cryptographic proofs. POPL (2009)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin
Formal Certification of ElGamal Encryption. Formal Aspects in Security and Trust (2008)
Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna
A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust (2006)
Santiago Zanella Béguelin
Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. CASSIS (2005)

Santiago Zanella Béguelin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Santiago Zanella Béguelin