[MirageOS-devel] nqsb-TLS

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

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


feedback and questions welcome,

hannes
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCQAGBQJVm6k+AAoJELyJZYjffCju8HQQALBHZPy/prKDU/H5bhN5qR5K
hZvZ9AU1qfKfFhmXnNipqHs1GErLWNIRYCZIw97wcxRAxrI3R/Ml6r7TfH3U/pFx
hvdtNVryfMk9q4oulguNtE5dYVBwh2CPY9l02+gfN9lptI2amNvaR87cBYHHhGmf
L9QIyeW5/DAxB8IadBhDZ7KNE6D2BAHcwRJqyGSrogeIdIK63csy+fdYJ7++pezl
g5HIrDindbDYdKstMyJkH+kQLt/WCUxuox6irN/hbtAgl9pjjFTeQd/5WEATCCwp
KYlnCa+VIg0KvQlKiVeJOXh+9kI3CEPTMxHi0bj3M1vwerij7vdU6kfQdd1zqhNI
3q/Trjr8RKN3L/gCohscBDOvho9Z0JSz8pTdT5iqGaQK4QK8bSekOCpF3gJrFid7
sSTZdt9l4tkhx8dUx8ogjzmayFzCtp0R/UkrL5fjGFLQJedQ8i1VMFVsf6O3XpWI
AI0sbt+9VK06TtDVSDmuxmCEfDR0aNP/tS43NpTzWUPiJPqowZKMa9XsLH4GL1Xh
VAJqPDtM16RtoX2U4jEDBFm0EncjyeR2b1mBjpVtJEvF+s8f2dFHl4EH8ekffeVC
4YHiLBd8fi1qCux05luFclSCJ8RUMV6y/bCyc2RUxIv/vKfXdgvf75iOlwuDvJ3a
5+0M2zD3SQAJl3Zx91UI
=gbTo
-----END PGP SIGNATURE-----

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel