HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms).

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Bguelin

Browse the full CCS paper archive.