Projects

We've developed an architecture and program plan for a moonshot to build a computer system that is secure to large classes of cyberattacks.

A suite of technologies protects data both at rest and in transit by providing access to secure computation nodes distributed throughout a network.

Cryptographic keys can now be created and securely distributed in real time during a mission.

A new tool enables mission system designers to design for functionality and security together and provide evidence for how design choices affect a mission’s security posture.

Computer scientists can test techniques for finding vulnerabilities in code.

An open source platform helps analysts quickly reverse engineer large, real-world binary systems to better analyze how software executes.