Statistics
Publications
34
Citations
3K
H-Index
23
Active since
2009
Santiago Zanella-Béguelin is an author at Microsoft Research (United Kingdom) specializing in computing, computer science, and cryptography.
Publications per year
2009–2023
34
34
Formal Verification of Smart Contracts
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text
David Adrian, Karthikeyan Bhargavan, Zakir Durumeric et al. · 2015 · 334 citations · Full text
Dependent types and multi-monadic effects in F*
Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text
Analyzing Leakage of Personally Identifiable Information in Language Models
Nils Lukas, Ahmed Salem, Robert B. Sim et al. · 2023 · 125 citations
1–5 of 34