hannes/hannes.robur.coop
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

.

Browse source
This commit is contained in:
Hannes Mehnert 2016-04-17 19:47:07 +01:00
parent ce67613e52
commit 688e084af4
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Posts/OCaml
View file

@ -136,8 +136,6 @@ which watches several MirageOS-related repositories.
I hope I gave some insight into OCaml. A longer read is our Usenix 2015 paper 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 [Not-quite-so-broken TLS: lessons in re-engineering a security protocol
specification and specification and
implementation](https://nqsb.io/nqsbtls-usenix-security15.pdf). implementation](https://nqsb.io/nqsbtls-usenix-security15.pdf). I'm interested in feedback, either via
I'm interested in feedback, either via
[twitter](https://twitter.com/h4nnes) or as an issue on the [data repository on [twitter](https://twitter.com/h4nnes) or as an issue on the [data repository on
GitHub](https://github.com/hannesm/hannes.nqsb.io/issues). GitHub](https://github.com/hannesm/hannes.nqsb.io/issues).