A team consisting of researchers from Microsoft Research, Inria, and Carnegie Mellon University’s CyLab recently released the world's first verifiably secure industrial-strength cryptographic library – a set of code that can be used to protect data and is guaranteed to protect against the most popular classes of cyberattacks. The library is called “EverCrypt” and is available for download on GitHub. "With EverCrypt, we can rule out entire classes of vulnerabilities," said CybLab’s Bryan Parno, who is also an associate professor of Computer Science and Electrical and Computer Engineering. "We rule out memory safety vulnerabilities, correctness flaws, and we prove the implementations are resistant to some of the most popular types of side channel attacks,” he added. Pieces of the EverCrypt code set already are being used by Firefox, Microsoft, the Tezos blockchain and the Linux Virtual Private Network, Wireguard. Parno and the rest of the EverCrypt team said they hope other developers will download the library and start test-driving it on their platforms. Read the article at CMU.