Thomas Leonard's blog

RSS

Blog
Archives
About Me

Category: Security

2016

A Unikernel Firewall for QubesOS

Jan 01 2016

posted in mirage, ocaml, qubes, security

2015

Securing the Unikernel

Jan 21 2015

posted in mirage, ocaml, security

Open Source software developer, with interests in distributed systems and security. [ more ]

Recent Posts

Using TLA+ to understand Xen vchan
A Unikernel Firewall for QubesOS
CueKeeper internals: Experiences with Irmin, React, TyXML and IndexedDB
CueKeeper: Gitting Things Done in the browser
Securing the Unikernel

Copyright © 2019 - Thomas Leonard - Powered by Octopress