A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers, Marko Horvat, Jonathan Hoyland, Samuel Scott, Thyla van der Merwe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationACM SIGSAC Conference on Computer and Commuincations Security
PublisherACM
Pages1773-1788
Number of pages16
ISBN (Print)978-1-4503-4946-8
DOIs
Publication statusPublished - 30 Oct 2017

Keywords

  • symbolic verificaiton
  • authenticated key exchange
  • TLS 1.3

Cite this