Not-quite-so-broken TLS: Lessons in re-engineering a security protocol specification and implementation
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Kaloper-Meršinjak, D
Mehnert, H
Madhavapeddy, Anil https://orcid.org/0000-0001-8954-2428
Sewell, Peter https://orcid.org/0000-0001-9352-1013
Description
Keywords
Journal Title
Proceedings of the 24th USENIX Security Symposium
Conference Name
Journal ISSN
Volume Title
Publisher
USENIX Association
Publisher DOI
Sponsorship
Engineering and Physical Sciences Research Council (EP/K008528/1)