Get started
Author

Marina Polubelova

Observed names: M. Polubelova, M.I. Polubelova, Polubelova, Marina, Полубелова Марина Игоревна
OpenAlex ID: A5000951893
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
2019 · Jonathan Protzenko, Bryan Parno, et al. · IACR Cryptology ePrint Archive · 4
HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms)
2020 · Marina Polubelova, Karthikeyan Bhargavan, et al. · IACR Cryptology ePrint Archive · 2
String-embedded language support in integrated development environment
2014 · Semen Grigorev, Ekaterina Verbitskaia, et al. · Central and Eastern European Software Engineering Conference in Russia · 1
Canonical LST: A Protocol-Native Liquid Staking Solution for Tezos
2026 · Bourgoin, Mathias, Breitman, Arthur, et al. · arXiv (Cornell University)
PDF
Building a formally verified high-performance multi-platform cryptographic library in F*
2022 · Marina Polubelova · theses.fr (ABES)
PDF
Certified Grammar Transformation to Chomsky Normal Form in F*
2016 · M.I. Polubelova, S.N. Bozhko, et al. · Proceedings of the Institute for System Programming of RAS
New Results - HACL*: Verified cryptographic library
2016 · Karthikeyan Bhargavan, Jean Karim Zinzindohoué, et al.
IDE Support of String-Embedded Languages
2014 · S. Grigorev, E. Verbitskaia, et al. · Modeling and Analysis of Information Systems
PDF
Works count: 11
Citation count: 139
H-index: 3
I10-index: 2
Year
Topic
Type