Welcome to the home page of the SAFE project, funded under the DARPA CRASH program.
We are creating a clean-slate design of a secure computing system, including tagged hardware, fine-grained checking, and formal verification.
Udit Dhawan, Nikos Vasilakis, Raphael Rubin, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight, Jr., Benjamin C. Pierce, and André DeHon
Proceedings of the 3rd International Workshop on Hardware and Architectural Support for Security and Privacy, (June 15, 2014)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Cătălin Hriţcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach. To appear in 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2014.
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.
By Albert Kwon, Udit Dhawan, Jonathan M. Smith, Thomas F. Knight, Jr., and André DeHon
To appear in the proceedings of the 20th ACM Conference on Computer and Communications Security, November 4-8, 2013, Berlin, Germany.
Cătălin Hriţcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos. In 18th ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 455-468, ACM. September 2013.