From ce67613e52af040eb2284d88bc0890d6ea6ece13 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sun, 17 Apr 2016 19:46:31 +0100
Subject: [PATCH] .

---
 Posts/OCaml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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).