OCaml-TLS: the protocol implementation and mitigations to known attacks | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		OCaml-TLS: the protocol implementation and mitigations to known attacks (openmirage.org)
		59 points by hannesm on July 14, 2014 \| hide \| past \| favorite \| 2 comments

amirmc on July 14, 2014 | [–]

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 on July 14, 2014 | [–]

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

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact