Unhackable Cryptography?A recent article overhyped the release of EverCrypt, a cryptography library created using formal methods to prove security against specific attacks.
The Quantum magazine article sets off a series of “snake-oil” alarm bells. The author’s Github README is more measured and accurate, and illustrates what a cool project this really is. But it’s not “hacker-proof cryptographic code.”
Tags: cryptography, encryption, hacking, snake oil
Author: Bruce Schneier