On 7 Jul 2015, at 12:26, Hannes Mehnert <[email protected]> wrote:
>
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA384
>
> Hello,
>
> in addition to various blog entries on https://mirage.io, we've been
> finishing up the camera-ready version of our Usenix Security 2015 paper:
>
> Not-quite-so-broken TLS: lessons in re-engineering a security protocol
> specification and implementation (David Kaloper-Meršinjak$, Hannes
> Mehnert, Anil Madhavapeddy and Peter Sewell)
>
> It is available from https://nqsb.io (guess what -- using a MirageOS
> unikernel and our TLS stack)
I hope I'm not stealing Luke's thunder, but his "reqtrace" tool looks
extremely cool for mapping the various TLS RFCs to the nqsb source
code:
https://github.com/infidel/reqtrace
It uses source attributes to map code to RFC locations, such as:
let _ =
hello (something 1) [@ref (rfc 9999) "s18"]
-anil
_______________________________________________
MirageOS-devel mailing list
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
