HACL*: A Verified Modern Cryptographic Library [pdf]eprint.iacr.org2 points·fuklief··0 commentsOpen articleSaveView on HN