Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin. HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms). IACR Cryptology ePrint Archive, 2020:572, 2020. [doi]
@article{PolubelovaBPBFK20,
title = {HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms)},
author = {Marina Polubelova and Karthikeyan Bhargavan and Jonathan Protzenko and Benjamin Beurdouche and Aymeric Fromherz and Natalia Kulatova and Santiago Zanella Béguelin},
year = {2020},
url = {https://eprint.iacr.org/2020/572},
researchr = {https://researchr.org/publication/PolubelovaBPBFK20},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2020},
pages = {572},
}