Cryptography That Can’t Be Hacked

guest · Apr 3, 2019

Cryptography That Can’t Be Hacked
Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof
April 2, 2019
https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proof-cryptography-20190402/

Now a set of computer scientists has taken a major step toward this goal with the release today of EverCrypt, a set of digital cryptography tools.
The researchers were able to prove — in the sense that you can prove the Pythagorean theorem — that their approach to online security is completely invulnerable to the main types of hacking attacks that have felled other programs in the past.

The main challenge to creating EverCrypt was developing a single programming platform that could express all the different attributes the researchers wanted in a verified cryptographic library.
No such all-in-one platform existed when the researchers started work on EverCrypt, so they developed one — a programming language called F*. It put the math and the software on equal footing.

Their new cryptographic library provides a number of security guarantees. The researchers proved that EverCrypt is free of coding errors, like buffer overruns, that can enable hacking attacks — in effect, provably ruling out susceptibility to all possible corner cases.
Click to expand...

guest · Apr 5, 2019

mood said: ↑

Cryptography That Can’t Be Hacked
Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof
April 2, 2019
https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proof-cryptography-20190402/
Click to expand...

Unhackable Cryptography?
April 5, 2019
https://www.schneier.com/blog/archives/2019/04/unhackable_cryp.html

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."
Click to expand...

Log in or Sign up

Cryptography That Can’t Be Hacked

guest Guest

guest Guest

Log in or Sign up

Cryptography That Can’t Be Hacked

guest Guest

guest Guest

Useful Searches