project-everest/everquic-crypto project-everest/everquic-crypto

  • Stars
    star
    10
  • Rank 1,749,354 (Top 36 %)
  • Language F*
  • License
    Apache License 2.0
  • Created over 4 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
project-everest/everquic-crypto
github

project-everest

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.

More Repositories

1

vale

Verified Assembly Language for Everest
F#
250
star
2

everparse

Automated generation of provably secure, zero-copy parsers from format specifications
F*
225
star
3

everest

Shell
191
star
4

mitls-fstar

Verified implementation of TLS 1.3 in F*
F*
172
star
5

QUIC-FStar

An implementation of the IETF QUIC protocol in F*
F*
17
star
6

project-everest.github.io

Landing page for Project Everest
HTML
12
star
7

MLCrypto

OCaml adapters for crypto providers used in Everest
OCaml
10
star
8

ethereum-star

F* proofs of Ethereum
Solidity
6
star
9

everest-ci

CI scripts for project everest
Shell
3
star
10

everest-dist

Distribution files of Project Everest
C
1
star