OCaml-TLS: the protocol implementation and mitigations to known attacks (openmirage.org) 59 points by hannesm 12y ago ↗ HN
[–] amirmc 12y ago ↗ 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
[–] Scaevolus 12y ago ↗ related: miTLS[1] is a formally verified F# implementation of TLS[1] http://www.mitls.org/wsgi/home
2 comments
[ 2.8 ms ] story [ 10.5 ms ] thread[1] https://news.ycombinator.com/item?id=8005130
[2] https://news.ycombinator.com/item?id=8020125
[1] http://www.mitls.org/wsgi/home