Un equipo de científicos de la computación ha dado un paso importante hacia el objetivo [de eliminar bugs que abran puertas a los atacantes] con el lanzamiento de EverCrypt, un conjunto de herramientas criptográficas. Los investigadores fueron capaces de probar (como se prueba el teorema de Pitágoras) que su acercamiento a la seguridad en línea es completamente invulnerable a los tipos principales de ataque que han derribado a otros programas en el pasado.