Publications

textscPivotWall: SDN-Based Information Flow Control

On the Generality and Convenience of Etypes

Teaching Computer Security

Ethos' Deeply Integrated Distributed Types

textscMinimaLT: Minimal-latency Networking Through Better Security

Simple-to-use, Secure-by-design Networking in Ethos

The Lazy Kernel Hacker and Application Programmer

Simple-to-use, Secure-by-design Networking in Ethos

The Ethos Project: Security Through Simplification

Digital identity security architecture in Ethos

Encrypt your root filesystem