Verified low-level programming embedded in F
Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil
Published in Proceedings of ACM on programming languages (01.09.2017)
Published in Proceedings of ACM on programming languages (01.09.2017)
Get full text
Journal Article
A Machine-Checked Formalization of Sigma-Protocols
Barthe, Gilles, Hedin, Daniel, Béguelin, Santiago Zanella, Grégoire, B, Heraud, Sylvain
Published in 2010 23rd IEEE Computer Security Foundations Symposium (01.07.2010)
Published in 2010 23rd IEEE Computer Security Foundations Symposium (01.07.2010)
Get full text
Conference Proceeding
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Protzenko, Jonathan, Parno, Bryan, Fromherz, Aymeric, Hawblitzel, Chris, Polubelova, Marina, Bhargavan, Karthikeyan, Beurdouche, Benjamin, Choi, Joonwon, Delignat-Lavaud, Antoine, Fournet, Cedric, Kulatova, Natalia, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Wintersteiger, Christoph M., Zanella-Beguelin, Santiago
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Get full text
Conference Proceeding
Implementing and Proving the TLS 1.3 Record Layer
Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Protzenko, Jonathan, Rastogi, Aseem, Swamy, Nikhil, Zanella-Beguelin, Santiago, Bhargavan, Karthikeyan, Jianyang Pan, Zinzindohoue, Jean Karim
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)
Get full text
Conference Proceeding
Analyzing Leakage of Personally Identifiable Information in Language Models
Lukas, Nils, Salem, Ahmed, Sim, Robert, Tople, Shruti, Wutschitz, Lukas, Zanella-Beguelin, Santiago
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Get full text
Conference Proceeding
Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method
ZANELLA BEGUELIN, Santiago
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2006)
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2006)
Get full text
Book Chapter
Conference Proceeding
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning
Salem, Ahmed, Cherubin, Giovanni, Evans, David, Kopf, Boris, Paverd, Andrew, Suri, Anshuman, Tople, Shruti, Zanella-Beguelin, Santiago
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Get full text
Conference Proceeding
Formally Certifying the Security of Digital Signature Schemes
Zanella-Beguelin, S., Barthe, G., Gregoire, B., Olmedo, F.
Published in 2009 30th IEEE Symposium on Security and Privacy (01.05.2009)
Published in 2009 30th IEEE Symposium on Security and Privacy (01.05.2009)
Get full text
Conference Proceeding
Downgrade Resilience in Key-Exchange Protocols
Bhargavan, Karthikeyan, Brzuska, Christina, Fournet, Cedric, Green, Matthew, Kohlweiss, Markulf, Zanella-Beguelin, Santiago
Published in 2016 IEEE Symposium on Security and Privacy (SP) (01.05.2016)
Published in 2016 IEEE Symposium on Security and Privacy (SP) (01.05.2016)
Get full text
Conference Proceeding
Journal Article
Verified indifferentiable hashing into elliptic curves
Barthe, Gilles, Grégoire, Benjamin, Heraud, Sylvain, Olmedo, Federico, Zanella-Béguelin, Santiago
Published in Journal of computer security (01.01.2013)
Published in Journal of computer security (01.01.2013)
Get full text
Journal Article
Verified Security of Merkle-Damgård
Backes, M., Barthe, G., Berg, M., Gregoire, B., Kunz, C., Skoruppa, M., Beguelin, S. Z.
Published in 2012 IEEE 25th Computer Security Foundations Symposium (01.06.2012)
Published in 2012 IEEE 25th Computer Security Foundations Symposium (01.06.2012)
Get full text
Conference Proceeding
Verified Computational Differential Privacy with Applications to Smart Metering
Barthe, Gilles, Danezis, George, Gregoire, Benjamin, Kunz, Cesar, Zanella-Beguelin, Santiago
Published in 2013 IEEE 26th Computer Security Foundations Symposium (01.06.2013)
Published in 2013 IEEE 26th Computer Security Foundations Symposium (01.06.2013)
Get full text
Conference Proceeding
Closed-Form Bounds for DP-SGD against Record-level Inference
Cherubin, Giovanni, Köpf, Boris, Paverd, Andrew, Tople, Shruti, Wutschitz, Lukas, Zanella-Béguelin, Santiago
Year of Publication 22.02.2024
Year of Publication 22.02.2024
Get full text
Journal Article