0xdade
Project Everest - Fast, Correct, and Secure Software for Deployment Now
Explore Project Everest's verified, high-performance secure communication components. Learn about F* programming, EverCrypt, EverParse, and EverQuic-transport, and their adoption in major projects.