Academic

Courses as Code: The Aquinas Learning System
PDF Cite
The Industrial Age of Hacking
PDF Cite
PivotWall: SDN-Based Information Flow Control
Cite
Using VisorFlow to Control Information Flow without Modifying the Operating System Kernel or its Userspace
PDF Cite
Studying Naive Users and the Insider Threat with SimpleFlow
PDF Cite
The Use of Cyber-Defense Exercises in Undergraduate Computing Education
PDF Cite
Improving Application Security Through TLS-Library Redesign
PDF Cite
On the Generality and Convenience of Etypes
PDF Cite
Teaching Computer Security
PDF Cite
Ethos' Deeply Integrated Distributed Types
PDF Cite
MinimaLT: Minimal-latency Networking Through Better Security
PDF Cite
Simple-to-use, Secure-by-design Networking in Ethos
PDF Cite
The Ethos Project: Security Through Simplification
Cite
Rethinking Operating System Interfaces to Support Robust Applications
PDF Cite
Digital identity security architecture in Ethos
PDF Cite