3 ms·
From the INRIA team (https://prosecco.gforge.inria.fr https://prosecco.gforge.inria.fr) that did a lot of work on formal proofs of TLS implementation, leading t
by brohee 7y ago
From the INRIA team (https://prosecco.gforge.inria.fr https://prosecco.gforge.inria.fr) that did a lot of work on formal proofs of TLS implementation, leading to a host of CVE, and whose input was very influential on TLS 1.3.