Old Web
English
Sign In
Acemap
>
authorDetail
>
Marina Polubelova
Marina Polubelova
Computer science
Cryptography
Parallel computing
SIMD
Computer engineering
5
Papers
15
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
2020
S&P | IEEE Symposium on Security and Privacy
Jonathan Protzenko
Bryan Parno
Aymeric Fromherz
Chris Hawblitzel
Marina Polubelova
Karthikeyan Bhargavan
Benjamin Beurdouche
Joonwon Choi
Antoine Delignat Lavaud
Cédric Fournet
Natalia Kulatova
Tahina Ramananandro
Aseem Rastogi
Nikhil Swamy
Christoph M. Wintersteiger
Santiago Zanella Béguelin
Show All
Source
Cite
Save
Citations (0)
HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms).
2020
Marina Polubelova
Karthikeyan Bhargavan
Jonathan Protzenko
Benjamin Beurdouche
Aymeric Fromherz
Natalia Kulatova
Santiago Zanella Béguelin
Show All
Source
Cite
Save
Citations (3)
1