| 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 | 119 | 2020 |
| 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 | 6 | 2014 |
| 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 |
