Statistics
Publications
3
Citations
714
H-Index
3
Active since
2016
Natalia Kulatova is an author at Microsoft Research (United Kingdom) specializing in cryptography, computing, and computer science.
Publications per year
2016–2020
3
3
Formal Verification of Smart Contracts
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text
1–3 of 3