Project Everest

Project Everest

Building and Deploying Provably Secure Communication Software

Publications

News & features

News & features

News & features

News & features

News & features

Overview

Summary

The main Project Everest web page is hosted on GitHub. This site serves only to aggregate all content on the Microsoft site related to Everest.

Related Projects

The project brings together the following Microsoft Research projects and tools:

  • miTLS – a verified implementation of TLS 1.2 and 1.3
  • EverCrypt – a verified cryptographic library
  • EverParse – an automatic generator for verified parsers and serializers for binary data formats
  • Vale – a verified assembly language
  • Low* and KReMLin, a language subset of F* and a C code generator to model and verify C programs
  • F* – an ML-like functional programming language aimed at program verification
  • Dafny – a verification-aware programming language
  • Z3 – a SMT theorem prover
  • Ironclad – provably secure and reliable systems
INRIA graphic

Inria Joint Center

People

Talks & workshops