SAFE: A clean-slate architecture for secure systems

Silviu Chiricescu*, Andre Dehon, Delphine Demange, Suraj Iyer, Aleksey Kliger, Greg Morrisett, Benjamin C. Pierce, Howard Reubenstein, Jonathan M. Smith, Gregory T. Sullivan, Arun Thomas, Jesse Tov, Christopher M. White, David Wittenberg

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations

Abstract

SAFE is a large-scale, clean-slate co-design project encompassing hardware architecture, programming languages, and operating systems. Funded by DARPA, the goal of SAFE is to create a secure computing system from the ground up. SAFE hardware provides memory safety, dynamic type checking, and native support for dynamic information flow control. The Breeze programming language leverages the security features of the underlying machine, and the 'zero kernel' operating system avoids relying on any single privileged component for overall system security. The SAFE project is working towards formally verifying security properties of the runtime software. The SAFE system sets a new high-water mark for system security, allowing secure applications to be built on a solid foundation rather than on the inherently vulnerable conventional platforms available today.

Original languageEnglish (US)
Title of host publication2013 IEEE International Conference on Technologies for Homeland Security, HST 2013
Pages570-576
Number of pages7
DOIs
StatePublished - Dec 1 2013
Event2013 13th IEEE International Conference on Technologies for Homeland Security, HST 2013 - Waltham, MA, United States
Duration: Nov 12 2013Nov 14 2013

Publication series

Name2013 IEEE International Conference on Technologies for Homeland Security, HST 2013

Other

Other2013 13th IEEE International Conference on Technologies for Homeland Security, HST 2013
CountryUnited States
CityWaltham, MA
Period11/12/1311/14/13

ASJC Scopus subject areas

  • Public Administration

Fingerprint Dive into the research topics of 'SAFE: A clean-slate architecture for secure systems'. Together they form a unique fingerprint.

  • Cite this

    Chiricescu, S., Dehon, A., Demange, D., Iyer, S., Kliger, A., Morrisett, G., Pierce, B. C., Reubenstein, H., Smith, J. M., Sullivan, G. T., Thomas, A., Tov, J., White, C. M., & Wittenberg, D. (2013). SAFE: A clean-slate architecture for secure systems. In 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013 (pp. 570-576). [6699066] (2013 IEEE International Conference on Technologies for Homeland Security, HST 2013). https://doi.org/10.1109/THS.2013.6699066