
Departmental Papers (CIS)
Date of this Version
10-23-2011
Document Type
Conference Paper
Recommended Citation
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.
Abstract
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
Comments
André DeHon, Ben Karel, Thomas F. Knight, Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, and Gregory Sullivan. 2011. Preliminary design of the SAFE platform. In Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11). ACM, New York, NY, USA, , Article 4 , 5 pages. DOI=10.1145/2039239.2039245 http://doi.acm.org/10.1145/2039239.2039245
© ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 6th Workshop on Programming Languages and Operating Systems, {(2011)} http://doi.acm.org/10.1145/2039239.2039245" Email permissions@acm.org