@misc{cryptoeprint:2020:572,
    author = {Marina Polubelova and Karthikeyan Bhargavan and Jonathan Protzenko and Benjamin Beurdouche and Aymeric Fromherz and Natalia Kulatova and Santiago Zanella-Béguelin},
    title = {HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms)},
    howpublished = {Cryptology ePrint Archive, Report 2020/572},
    year = {2020},
    url = {https://eprint.iacr.org/2020/572},
}