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
Y1 - 2013
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 -