GitHub repository: project-everest/everquic-crypto
Primary language: F*
Created: 2019-10-25T20:05:49Z
Description: Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.