Get started
Author

Natalia Kulatova

Formal Verification of Smart Contracts
2016 · Karthikeyan Bhargavan, Antoine Delignat-Lavaud, et al. · ACM Workshop on Programming Languages and Analysis for Security · 660
PDF
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
2020 · Jonathan Protzenko, Bryan Parno, et al. · IEEE Symposium on Security and Privacy (S&P) · 106
PDF
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)
2020 · Marina Polubelova, Karthikeyan Bhargavan, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 26
PDF
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake
2023 · Daniel De Almeida Braga, Natalia Kulatova, et al. · IEEE European Symposium on Security and Privacy · 6
PDF
HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms)
2020 · Marina Polubelova, Karthikeyan Bhargavan, et al. · IACR Cryptology ePrint Archive · 2
Ledger design language: designing and deploying formally verified public ledgers
2018 · Nadim Kobeissi, Natalia Kulatova · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · 1
Formally Verified Implementations of Elliptic Curve Cryptography Standards.
2022 · Kulatova, Natalia · HAL
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers.
2018 · Nadim Kobeissi, Natalia Kulatova · IACR Cryptology ePrint Archive
Works count: 8
Citation count: 801
H-index: 4
I10-index: 3
Year
Topic
Type