OpenSHC: A Versatile Multilegged Robot Controller

In Lockstep: Kernel and Verification (2017)

Using Rump kernels to run unmodified NetBSD drivers on seL4

An Analysis of the Privacy and Security Risks of Android VPN Permission-enabled Apps