Login / Signup
Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.
David Kaloper-Mersinjak
Hannes Mehnert
Anil Madhavapeddy
Peter Sewell
Published in:
USENIX Security Symposium (2015)
Keyphrases
</>
protocol specification
communication protocols
formal specification
intrusion detection
artificial intelligence
information security
black box