Preliminary Design of the SAFE Platform
Loading...
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Computer Sciences
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
DeHon, André
Karel, Ben
Knight, Thomas F
Malecha, Gregory
Montagu, Benoit
Morrisett, Robin
Morrisett, Greg
Pollack, Randy
Ray, Sumit
Contributor
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.
Advisor
Date of presentation
2011-10-23
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T07:15:00.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
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