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]
Abstract is missing.