Re:QUIC Crypto and simple state machines
by Zophike1 on Saturday December 22, 2018 @04:01PM
(#18742427)
Unfortunately I know nothing about Cryptography(Theoretical or Practical) but what benefits does QUIC bring to the table, also will it be subject to some form of formal verification ?
https://dl.acm.org/citation.cfm?id=3284854
Pluggable encryption has been scoped out of QUIC v1, but will likely make a return soon after (and Noise seems one of the more likely candidates).