Date of this Version
André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoit Montagu, Robin Morrisett, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Johnathan Smith, and Gregory Sullivan, "Preliminary Design of the SAFE Platform", . October 2011.
Safe is a clean-slate design for a secure host architecture. It integrates advances in programming languages, operating systems, and hardware and incorporates formal methods at every step. Though the project is still at an early stage, we have assembled a set of basic architectural choices that we believe will yield a high-assurance system. We sketch the current state of the design and discuss several of these choices.
Date Posted: 25 July 2012