Hacker News
- SLOTH – Security Losses from Obsolete and Truncated Transcript Hashes http://www.mitls.org/pages/attacks/SLOTH 20 comments
Lobsters
- miTLS: a verified reference implementation of the TLS protocol, written in F# and specified in F7 http://www.mitls.org/wsgi/ 2 comments security
- Transcript Collision Attacks: Breaking Authentication in TLS, IKE, and SSH http://www.mitls.org/downloads/transcript-collisions.pdf 4 comments netsec
- A verified reference TLS implementation: miTLS http://www.mitls.org/wsgi/home 7 comments netsec
- miTLS - A verified reference TLS implementation http://www.mitls.org/ 12 comments netsec