Hacker News new | comments | show | ask | jobs | submit login
OCaml-TLS: the protocol implementation and mitigations to known attacks (openmirage.org)
59 points by hannesm 1286 days ago | hide | past | web | favorite | 2 comments



Some previous discussion on a couple of the other posts in this series: the first release [1] and the ASN1 library [2].

[1] https://news.ycombinator.com/item?id=8005130

[2] https://news.ycombinator.com/item?id=8020125


related: miTLS[1] is a formally verified F# implementation of TLS

[1] http://www.mitls.org/wsgi/home




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: