External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla Van der Merwe. A Comprehensive Symbolic Analysis of TLS 1.3. In Bhavani M. Thuraisingham, David Evans, Tal Malkin, Dongyan Xu, editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017. pages 1773-1788, ACM, 2017. [doi]

Authors

Cas Cremers

This author has not been identified. Look up 'Cas Cremers' in Google

Marko Horvat

This author has not been identified. Look up 'Marko Horvat' in Google

Jonathan Hoyland

This author has not been identified. Look up 'Jonathan Hoyland' in Google

Sam Scott

This author has not been identified. Look up 'Sam Scott' in Google

Thyla Van der Merwe

This author has not been identified. Look up 'Thyla Van der Merwe' in Google
runs on