SAFE Proposal Extract

By André DeHon, Thomas F. Knight, Jr., Basil Krikeles, Bryan Loyall, Greg Morrisett, Benjamin C. Pierce, Jonathan M. Smith, Howard Reubenstein, Jothy Rosenberg, Olin Shivers, Greg Sullivan, Chris White.
Date: July 20, 2010

In the SAFE project, we propose a clean-slate design of a secure computing system. We propose tagged hardware, formally verified safety properties, fine-grained checking, and a design based on least privilege, mutual suspicion, and defense in depth.

SAFE Proposal Extract (PDF)