News for hackers. Stuff that matters.
Re:QUIC Crypto and simple state machines by dochtman on Friday December 21, 2018 @09:32PM (#18738553)
Some experiments with Noise as the QUIC encryption mechanism have recently been published:

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).

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 ?