Follow
Marina Polubelova
Marina Polubelova
INRIA Paris
Verified email at inria.fr
Title
Cited by
Cited by
Year
EverCrypt: A fast, verified, cross-platform cryptographic provider
J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ...
2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 2020
1002020
HACL× N: Verified Generic SIMD Crypto
M Polubelova, K Bhargavan, J Protzenko, B Beurdouche, A Fromherz, ...
25*2020
String-embedded language support in integrated development environment
S Grigorev, E Verbitskaia, A Ivanov, M Polubelova, E Mavchun
Proceedings of the 10th Central and Eastern European Software Engineering …, 2014
62014
Building a Formally Verified High-Performance Multi-Platform Cryptographic Library in F
M Polubelova
Paris Sciences et Lettres, 2022
2022
Lexical analysis of dynamically generated string expressions
MI Polubelova, SV Grigor'ev
Sistemy i Sredstva Informatiki [Systems and Means of Informatics] 26 (2), 43-62, 2016
2016
IDE Support of String-Embedded Languages
S Grigorev, E Verbitskaia, M Polubelova, A Ivanov, E Mavchun
Modeling and Analysis of Information Systems 21 (6), 131-143, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–6