HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms).
Marina PolubelovaKarthikeyan BhargavanJonathan ProtzenkoBenjamin BeurdoucheAymeric FromherzNatalia KulatovaSantiago Zanella BéguelinPublished in: IACR Cryptol. ePrint Arch. (2020)