Departmental Papers (CIS)

Date of this Version

10-23-2011

Document Type

Conference Paper

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

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.

Share

COinS
 

Date Posted: 25 July 2012