"How the EverCrypt Library Creates Hacker-Proof Cryptography"

A set of digital cryptography tools, called EverCrypt, has been released by a group of computer scientists with the goal of eliminating coding bugs that could be exploited by hackers to launch damaging hacking attacks. The cryptographic library, EverCrypt, has been proven by researchers to be impervious to many types of hacking attacks. According to researchers, EverCrypt does not contain coding errors such as buffer overruns, which could allow for the execution of hacking attacks. In addition, EverCrypt is consistent in the performance of correct computations. This article continues to discuss the concept behind EverCrypt, the security guarantees that EverCrypt provides, and the main challenge faced by researchers in the creation of this cryptographic library. 

Quanta Magazine reports "How the EverCrypt Library Creates Hacker-Proof Cryptography"