Project Everist - Cryptography That Is Provably Secure

Project evers is trying to complete a fully verified implementation of hyper text transfer protocol. This will involve half a dozen individual software elements like evercrypt. Some of the evercrypt library is already being used to day in places like microsopt and mosilla's fire fox browser, in hopes of strengthening the inter net of to morrow.