diff --git a/Posts/OCaml b/Posts/OCaml index 97bc24b..77e67ab 100644 --- a/Posts/OCaml +++ b/Posts/OCaml @@ -133,6 +133,11 @@ development. I setup an [atom feed](https://github.com/miragebot.private.atom?token=ARh4hnusZ1kC_bQ_Q6_HUzQteEEGTqy8ks61Fm2LwA==) which watches several MirageOS-related repositories. -I hope I gave some insight into OCaml. I'm interested in feedback, either via +I hope I gave some insight into OCaml. A longer read is our Usenix 2015 paper +[Not-quite-so-broken TLS: lessons in re-engineering a security protocol +specification and +implementation](https://nqsb.io/nqsbtls-usenix-security15.pdf). + +I'm interested in feedback, either via [twitter](https://twitter.com/h4nnes) or as an issue on the [data repository on GitHub](https://github.com/hannesm/hannes.nqsb.io/issues).