Tighter Proofs for the Sigma and TLS 1.3 Handshake Protocols

Hannah Davis and Felix Günther
PDF Video

Date
Event
Applied Cryptography and Network Security 2021
Location
Virtual (Kamakura, Japan)