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

doi:10.1109/THS.2013.6699066

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	2013 IEEE International Conference on Technologies for Homeland Security, HST 2013
Pages	570-576
Number of pages	7
DOIs	https://doi.org/10.1109/THS.2013.6699066
State	Published - Dec 1 2013
Event	2013 13th IEEE International Conference on Technologies for Homeland Security, HST 2013 - Waltham, MA, United States Duration: Nov 12 2013 → Nov 14 2013

Publication series

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

Other

Other	2013 13th IEEE International Conference on Technologies for Homeland Security, HST 2013
Country/Territory	United States
City	Waltham, MA
Period	11/12/13 → 11/14/13

ASJC Scopus subject areas

Public Administration

Access to Document

10.1109/THS.2013.6699066

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

Chiricescu, Silviu ; Dehon, Andre ; Demange, Delphine ; Iyer, Suraj ; Kliger, Aleksey ; Morrisett, Greg ; Pierce, Benjamin C. ; Reubenstein, Howard ; Smith, Jonathan M. ; Sullivan, Gregory T. ; Thomas, Arun ; Tov, Jesse ; White, Christopher M. ; Wittenberg, David. / SAFE : A clean-slate architecture for secure systems. 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013. 2013. pp. 570-576 (2013 IEEE International Conference on Technologies for Homeland Security, HST 2013).

@inproceedings{327e3e4bd65e4c5dacb9a24ad3058fe4,

title = "SAFE: A clean-slate architecture for secure systems",

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.",

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

year = "2013",

month = dec,

day = "1",

doi = "10.1109/THS.2013.6699066",

language = "English (US)",

isbn = "9781479915354",

series = "2013 IEEE International Conference on Technologies for Homeland Security, HST 2013",

pages = "570--576",

booktitle = "2013 IEEE International Conference on Technologies for Homeland Security, HST 2013",

note = "2013 13th IEEE International Conference on Technologies for Homeland Security, HST 2013 ; Conference date: 12-11-2013 Through 14-11-2013",

}

Chiricescu, S, Dehon, A, Demange, D, Iyer, S, Kliger, A, Morrisett, G, Pierce, BC, Reubenstein, H, Smith, JM, Sullivan, GT, Thomas, A, Tov, J, White, CM & Wittenberg, D 2013, SAFE: A clean-slate architecture for secure systems. in 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013., 6699066, 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013, pp. 570-576, 2013 13th IEEE International Conference on Technologies for Homeland Security, HST 2013, Waltham, MA, United States, 11/12/13. https://doi.org/10.1109/THS.2013.6699066

SAFE : A clean-slate architecture for secure systems. / Chiricescu, Silviu; Dehon, Andre; Demange, Delphine; Iyer, Suraj; Kliger, Aleksey; Morrisett, Greg; Pierce, Benjamin C.; Reubenstein, Howard; Smith, Jonathan M.; Sullivan, Gregory T.; Thomas, Arun; Tov, Jesse; White, Christopher M.; Wittenberg, David.

2013 IEEE International Conference on Technologies for Homeland Security, HST 2013. 2013. p. 570-576 6699066 (2013 IEEE International Conference on Technologies for Homeland Security, HST 2013).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - SAFE

T2 - 2013 13th IEEE International Conference on Technologies for Homeland Security, HST 2013

AU - Chiricescu, Silviu

AU - Dehon, Andre

AU - Demange, Delphine

AU - Iyer, Suraj

AU - Kliger, Aleksey

AU - Morrisett, Greg

AU - Pierce, Benjamin C.

AU - Reubenstein, Howard

AU - Smith, Jonathan M.

AU - Sullivan, Gregory T.

AU - Thomas, Arun

AU - Tov, Jesse

AU - White, Christopher M.

AU - Wittenberg, David

PY - 2013/12/1

Y1 - 2013/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84893320084&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84893320084&partnerID=8YFLogxK

U2 - 10.1109/THS.2013.6699066

DO - 10.1109/THS.2013.6699066

M3 - Conference contribution

AN - SCOPUS:84893320084

SN - 9781479915354

T3 - 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013

SP - 570

EP - 576

BT - 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013

Y2 - 12 November 2013 through 14 November 2013

ER -

SAFE: A clean-slate architecture for secure systems

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this