Hannah Davis and Felix Günther

Latest

• Tighter Proofs for the Sigma and TLS 1.3 Handshake Protocols