OCaml-TLS: the protocol implementation and mitigations to known attacks(openmirage.org)
openmirage.org
OCaml-TLS: the protocol implementation and mitigations to known attacks
http://openmirage.org/blog/ocaml-tls-api-internals-attacks-mitigation
2 comments
related: miTLS[1] is a formally verified F# implementation of TLS
[1] http://www.mitls.org/wsgi/home
[1] http://www.mitls.org/wsgi/home
[1] https://news.ycombinator.com/item?id=8005130
[2] https://news.ycombinator.com/item?id=8020125