|
|
| | 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
|
|
|
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
