Preliminary design of the SAFE platform

By André DeHon, Ben Karel, T. Knight, G. Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, R. Pollack, S. Ray and 3 more. 2011

26 citations recorded by the source corpus.

Safe is a clean-slate design for a secure host architecture. It integrates advances in programming languages, operating systems, and hardware and incorporates formal methods at every step. Though the project is still at an early stage, we have assembled a set of basic architectural choices that we believe will yield a high-assurance system. We sketch the current state of the design and discuss several of these choices.

Subfields: Artificial Intelligence, Computer Networks and Communications, Signal Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Toby C. Murray
2. Stuart J. Russell
3. Thomas Sewell
4. Gerwin Klein
5. Kevin Elphinstone
6. Gernot Heiser
7. Max Tegmark
8. June Andronick

In Computer Networks and Communications

1. Stuart J. Russell
2. Gernot Heiser
3. Max Tegmark
4. Xavier Leroy

In Signal Processing

1. Stuart J. Russell
2. Gernot Heiser
3. Max Tegmark
4. Dan Dewey

Citations in the corpus

• Research Priorities for Robust and Beneficial Artificial Intelligence (2015, methodology): “For example, the DARPA SAFE program aims to build an integrated hardware-software system with a flexible meta-data rule engine, on which can be built memory safety, fault isolation, and other protocols that could improve security by preventing exploitable flaws [42].”
• Comprehensive formal verification of an OS microkernel (2014, methodology): “The SAFE project [DeHon et al. 2011] follows a clean-slate approach to informationflow security, which includes new hardware design from scratch.”