3
Publications
699
Citations
3
H-Index
2016
Active since
Natalia Kulatova is an author at Microsoft Research (United Kingdom) specializing in blockchain, data security, and data privacy.
Top concepts
BlockchainEngineeringCryptographyData PrivacyVerificationData SecurityComputer ScienceHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2016–2020
3
3
Formal Verification of Smart Contracts
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 607 citations · Full text
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko et al. · 2020 · 17 citations · Full text
Rows per page
1–3 of 3