Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cas Cremers, Marko Horvat, Sam Scott, Thyla Van der Merwe. Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication. In IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016. pages 470-485, IEEE, 2016. [doi]

This author has not been identified. Look up 'Cas Cremers' in GoogleThis author has not been identified. Look up 'Marko Horvat' in GoogleThis author has not been identified. Look up 'Sam Scott' in GoogleThis author has not been identified. Look up 'Thyla Van der Merwe' in Google

runs on WebDSL