Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse. - View it on GitHub