News for hackers. Stuff that matters.

A comment on MsQuic – QUIC Implementation from Microsoft. Parent comment

Re:MsQuic – QUIC Implementation from Microsoft by nibanks on Wednesday April 29, 2020 @10:38AM (#23019774)
We do work with the Everest team. We have unofficial support on top of miTLS (which they produce). We haven't looked into actually using F* for any of the QUIC code though.
[ Parent | on HN ]

There are no comments on this comment yet.