A Comprehensive Symbolic Analysis of TLS 1.3

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 30, 2017
Source ID
10.1145/3133956.3134063

Entities

People

  • Cas Cremers
  • Jonathan Hoyland
  • Marko Horvat
  • Sam Scott
  • Thyla Van Der Merwe

Organizations

  • Air Force Office of Scientific Research
  • Engineering and Physical Sciences Research Council
  • European Research Council
  • Max Planck Institute for Software Systems
  • University of London
  • University of Oxford