Santiago Zanella-Bguelin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
11
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | The Canary's Echo: Auditing Privacy Risks of LLM-Generated Synthetic Text. | Matthieu Meeus, Lukas Wutschitz, Santiago Zanella-Bguelin, Shruti Tople, Reza Shokri |
| 2023 | ICML | Bayesian Estimation of Differential Privacy. | Santiago Zanella-Bguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Rhle, Andrew Paverd, Mohammad Naseri, Boris Kpf, Daniel Jones |
| 2023 | SP | Analyzing Leakage of Personally Identifiable Information in Language Models. | Nils Lukas, Ahmed Salem, Robert Sim, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Bguelin |
| 2023 | SP | SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning. | Ahmed Salem, Giovanni Cherubin, David Evans, Boris Kpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Bguelin |
| 2021 | ICML | Grey-box Extraction of Natural Language Models. | Santiago Zanella-Bguelin, Shruti Tople, Andrew Paverd, Boris Kpf |
| 2020 | CCS | Analyzing Information Leakage of Updates to Natural Language Models. | Santiago Zanella-Bguelin, Lukas Wutschitz, Shruti Tople, Victor Rhle, Andrew Paverd, Olga Ohrimenko, Boris Kpf, Marc Brockschmidt |
| 2020 | CCS | HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms). | Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Bguelin |
| 2020 | SP | 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, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2018 | CPP | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. | Niklas Grimm, Kenji Maillard, Cdric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2017 | SP | Implementing and Proving the TLS 1.3 Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue |
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2016 | SP | Downgrade Resilience in Key-Exchange Protocols. | Karthikeyan Bhargavan, Christina Brzuska, Cdric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Bguelin |
| 2015 | CCS | 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-Bguelin, Paul Zimmermann |
| 2014 | CAV | Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). | Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Bguelin |
| 2014 | CRYPTO | Proving the TLS Handshake Secure (As It Is). | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Bguelin |
| 2014 | POPL | Probabilistic relational verification for cryptographic implementations. | Gilles Barthe, Cdric Fournet, Benjamin Grgoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2013 | CCS | Fully automated analysis of padding-based encryption in the computational model. | Gilles Barthe, Juan Manuel Crespo, Benjamin Grgoire, Csar Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella-Bguelin |
| 2013 | CCS | Smart meter aggregation via secret-sharing. | George Danezis, Cdric Fournet, Markulf Kohlweiss, Santiago Zanella-Bguelin |
| 2012 | CCS | Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. | Jos Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella-Bguelin |
| 2012 | CCS | Verified security of redundancy-free encryption from Rabin and RSA. | Gilles Barthe, David Pointcheval, Santiago Zanella-Bguelin |
| 2012 | CPP | Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. | Gilles Barthe, Benjamin Grgoire, Csar Kunz, Yassine Lakhnech, Santiago Zanella-Bguelin |
| 2012 | ITP | Computer-Aided Cryptographic Proofs. | Gilles Barthe, Juan Manuel Crespo, Benjamin Grgoire, Csar Kunz, Santiago Zanella-Bguelin |
| 2012 | MPC | Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. | Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin |
| 2012 | POPL | Probabilistic relational reasoning for differential privacy. | Gilles Barthe, Boris Kpf, Federico Olmedo, Santiago Zanella-Bguelin |
| 2012 | SAS | Computer-Aided Cryptographic Proofs. | Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin |
| 2011 | CRYPTO | Computer-Aided Security Proofs for the Working Cryptographer. | Gilles Barthe, Benjamin Grgoire, Sylvain Heraud, Santiago Zanella-Bguelin |
| 2011 | ProvSec | Verifiable Security of Boneh-Franklin Identity-Based Encryption. | Gilles Barthe, Federico Olmedo, Santiago Zanella-Bguelin |
| 2010 | ITP | Programming Language Techniques for Cryptographic Proofs. | Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin |
| 2009 | POPL | Formal certification of code-based cryptographic proofs. | Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin |
| 2009 | SP | Formally Certifying the Security of Digital Signature Schemes. | Santiago Zanella-Bguelin, Gilles Barthe, Benjamin Grgoire, Federico Olmedo |