search

project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*
https://www.mitls.org
Other
173 stars 16 forks source link

Merge QD Handshake #224

Closed ad-l closed 5 years ago

ad-l commented 5 years ago

This replaces HandshakeMessages with QD types, but disables HRR