False Assurance in Formally Verified Cryptographic Libraries

(eprint.iacr.org)

2 points | by st_goliath 5 hours ago ago

No comments yet.