Ongoing Research

Our current research involves Ethos, a clean-slate operating system built to be robust against attack. Specific areas of interest include:

Networking

How can we restructure networking, especially with respect to cryptography, so that applications are more likely to get robust networking right?

Authentication

How can we ensure that all network interactions are authenticated, regardless of how an application is written?

Types

What properties of type-safe languages may be guaranteed system-wide by the operating system? How can we do this in a programming language-agnostic way?

Digital Signatures

How can we structure a system to put appropriate constraints on digital signatures to reduce the likelihood of a user creating a digital signature he did not intend?