EverCrypt – Researchers have just released hacker-proof cryptographic code

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. Yet while EverCrypt is provably immune to many types of attacks, it does not herald an era of perfectly secure software. Because vulnerabilities in adjacent, unverified programs can undermine a cryptographic library, Project Everest aims to surround EverCrypt with as much verified software as it can.

Source: www.quantamagazine.org