Re: [MirageOS-devel] nqsb-TLS

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 7 Jul 2015, at 12:26, Hannes Mehnert <hannes@xxxxxxxxxxx> 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
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel