Marina Polubelova
According to our database1,
Marina Polubelova
authored at least 5 papers
between 2019 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
0
1
2
3
4
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Building a Formally Verified High-Performance Multi-Platform Cryptographic Library in F*. (Construction d'une bibliothèque cryptographique multi-plateformes formellement vérifiée à haute performance en F*).
PhD thesis, 2022
2020
IACR Cryptol. ePrint Arch., 2020
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020
2019
IACR Cryptol. ePrint Arch., 2019