Automated Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication presented at RWC 2016

by Cas Cremers, Thyla Merwe, Marko Horvat, Sam Scott,

Summary : N/A