crash-safe.org

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.

---