HACL*: A Verified Modern Cryptographic Library.

Jean Karim Zinzindohou, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche

Browse the full CCS paper archive.