|
|
| | MiTLS, Triple Handshake, Smack, Freak, Logjam, and Sloth (mitls.org) | | 2 points by whereistimbo on April 9, 2023 | past | |
| | Transcript Collision Attacks: Breaking Authentication in TLS, IKE, and SSH [pdf] (mitls.org) | | 1 point by aburan28 on Jan 7, 2016 | past | |
| | SLOTH – Security Losses from Obsolete and Truncated Transcript Hashes (mitls.org) | | 112 points by mukyu on Jan 6, 2016 | past | 20 comments | |
| | MiTLS – A verified reference TLS implementation (mitls.org) | | 1 point by lelf on June 16, 2014 | past | |
| | MiTLS – A verified reference TLS implementation (mitls.org) | | 2 points by ot on April 11, 2014 | past | |
| | MiTLS: A verified reference implementation of TLS (mitls.org) | | 15 points by wbl on April 8, 2014 | past | |
| | MiTLS – A verified TLS implementation in F# (mitls.org) | | 4 points by profquail on March 10, 2014 | past | |
| | A verified reference TLS implementation (mitls.org) | | 2 points by neur0mancer on March 5, 2014 | past | |
| | Implementing TLS with Verified Cryptographic Security (mitls.org) | | 2 points by lelf on Feb 10, 2014 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
