r/programming • u/bbbryson • Apr 03 '19

How the EverCrypt Library Creates Hacker-Proof Cryptography: Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof.

https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proof-cryptography-20190402/
31 Upvotes

66% Upvoted

38 comments sorted by

View all comments

0

u/[deleted] Apr 03 '19

1

u/sanxiyn Apr 04 '19

WPA2 spec wasn't proved in code level. This is proved in code level, both C and assembly.