A Comprehensive Symbolic Analysis of TLS 1.3. / Cremers, Cas; Horvat, Marko; Hoyland, Jonathan; Scott, Samuel; van der Merwe, Thyla.

ACM SIGSAC Conference on Computer and Commuincations Security. ACM, 2017. p. 1773-1788.

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

Published
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

Research outputs

This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 28746676