An Operating System for the Home
Securing Distributed Systems with Information Flow Control