Preliminary Design of the SAFE Platform

DSpace/Manakin Repository

Preliminary Design of the SAFE Platform

Citable link to this page

. . . . . .

Title: Preliminary Design of the SAFE Platform
Author: Morrisett, John Gregory; DeHon, André; Karel, Ben; Malecha, Gregory Michael; Montagu, Benoît; Morisset, Robin; Pierce, Benjamin C.; Pollack, Randy; Ray, Sumit; Shivers, Olin; Smith, Jonathan M.; Sullivan, Gregory; Knight, Thomas F., Jr.

Note: Order does not necessarily reflect citation order of authors.

Citation: DeHon, André, Ben Karel, Thomas F. Knight, Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, et al. 2011. Preliminary design of the SAFE platform. In Proceedings of the 6th workshop on programming languages and operating systems. New York: Association for Computing Machinery.
Full Text & Related Files:
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.
Terms of Use: This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#LAA
Citable link to this page: http://nrs.harvard.edu/urn-3:HUL.InstRepos:9793866

Show full Dublin Core record

This item appears in the following Collection(s)

  • FAS Scholarly Articles [7594]
    Peer reviewed scholarly articles from the Faculty of Arts and Sciences of Harvard University
 
 

Search DASH


Advanced Search
 
 

Submitters