Software Open Access

Supplementary material for the publication "Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation"

Kaloper-Meršinjak, David; Mehnert, Hannes; Madhavapeddy, Anil; Sewell, Peter

This tarball contains the source code of nqsb-TLS, as well as collected session traces, generated certificates, a virtual machine image of the Bitcoin Piñata etc.

Files (75.5 MB)
Name Size
75.5 MB Download


Cite as