author-photo

Natalia Kulatova

French Institute for Research in Computer Science and Automation

8

Papers

414

Citations

Citation Trend

Filter By

Papers (4) Sort By

Journal Conference Others

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

2020 S&P | IEEE Symposium on Security and Privacy
Show All
- Source
- Cite
- Save
Citations (0)
HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms).

2020
Show All
- Source
- Cite
- Save
Citations (3)
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

2019 IACR Cryptology ePrint Archive
Show All
- Source
- Cite
- Save
Citations (21)
Ledger design language: designing and deploying formally verified public ledgers

2018 EUROS&P | IEEE European Symposium on Security and Privacy
- Nadim Kobeissi
- Natalia Kulatova
Show All
- Source
- Cite
- Save
Citations (1)