Old Web
English
Sign In
Acemap
>
authorDetail
>
Marina Polubelova
Marina Polubelova
French Institute for Research in Computer Science and Automation
Embedded system
Cryptography
Computer science
Cross-platform
Home automation
2
Papers
22
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
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)
2020
CCS | Computer and Communications Security
Marina Polubelova
Karthikeyan Bhargavan
Jonathan Protzenko
Benjamin Beurdouche
Aymeric Fromherz
Natalia Kulatova
Santiago Zanella Béguelin
Show All
Source
Cite
Save
Citations (1)
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
2019
IACR Cryptology ePrint Archive
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 (21)
1