A Comprehensive Symbolic Analysis of TLS 1.3¶

Cremers, C. (2017). A Comprehensive Symbolic Analysis of TLS 1.3. ACM.

Type: Unclassified
Intellectual base: Unclassified
Year: 2017
DOI: 10.1145/3133956.3134063
DOI registrant: Association for Computing Machinery
Link: https://doi.org/10.1145/3133956.3134063

Cited by¶

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific¶

Formal Verification
- avionics and rail-signaling systems certified under DO-178C and EN 50128), cryptographic protocols (TLS 1.3 verified with ProVerif and Tamarin before deployment
  This sourceA comprehensive Tamarin symbolic analysis of the TLS 1.3 draft 21 release candidate before the standard's official release.
  
  Supported in partVerified against the source
  
  Read by an automated reader; not a human review. How support was checked

Verification¶

Does it exist? Not checked yet. This work's DOI is recorded above but has not been resolved against an external catalogue, so nothing here confirms the work exists.

Does it back the claim? Read against the text for 1 of 1 citation: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:4aae955538eb · see in the full table