Conference proceeding
SAFE: A clean-slate architecture for secure systems
2013 IEEE International Conference on Technologies for Homeland Security (HST), pp.570-576
11/2013
DOI: 10.1109/THS.2013.6699066
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.
Details
- Title: Subtitle
- SAFE: A clean-slate architecture for secure systems
- Creators
- Silviu Chiricescu - BAE SystemsAndre DeHon - University of PennsylvaniaDelphine Demange - University of PennsylvaniaSuraj Iyer - BAE SystemsAleksey Kliger - BAE SystemsGreg Morrisett - Harvard University PressBenjamin C. Pierce - University of PennsylvaniaHoward Reubenstein - BAE SystemsJonathan M. Smith - University of PennsylvaniaGregory T. Sullivan - BAE Syst., Burlington, MA, USAArun Thomas - University of PennsylvaniaJesse Tov - Harvard University PressChristopher M. White - BAE Syst., Burlington, MA, USADavid Wittenberg - BAE Systems
- Resource Type
- Conference proceeding
- Publication Details
- 2013 IEEE International Conference on Technologies for Homeland Security (HST), pp.570-576
- Publisher
- IEEE
- DOI
- 10.1109/THS.2013.6699066
- Language
- English
- Date published
- 11/2013
- Academic Unit
- English; Cinematic Arts
- Record Identifier
- 9984398054302771
Metrics
11 Record Views