2
Publications
92
Citations
2
H-Index
2020
Active since
Marina Polubelova is an author at Microsoft Research (United Kingdom) specializing in hardware security, cryptography, and data security.
Top concepts
BlockchainEngineeringCryptographyData PrivacyVerificationData SecurityCloud ComputingComputer ScienceHardware SecuritySoftware Analysis
Publications per year
2020–2020
2
2
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko et al. · 2020 · 17 citations · Full text
Rows per page
1–2 of 2