Projects

Applied Resilience for Mission Systems
We’re improving and guiding the resilience of Department of War missions by adapting commercial practices and academic research for the development, operation, and sustainment of software-intensive systems.
Tags

Keylime
We're enabling trust in the cloud with this free, open-source key bootstrapping and integrity management software architecture.
Tags

Common Evaluation Platform
Developers can test cybersecurity solutions for government systems by using an integrated circuit modeled on Department of War designs.
Tags

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

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

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

Secure Small Satellite Processing Platform
A secure reference architecture enables satellites to recover from cyberattacks and carry on their missions.
Tags

High Assurance Design Environment
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.
Tags

Large-scale Automated Vulnerability Addition
Computer scientists can test techniques for finding vulnerabilities in code.
Tags

PANDA – Platform for Architecture-Neutral Dynamic Analysis
An open source platform helps analysts quickly reverse engineer large, real-world binary systems to better analyze how software executes.
Tags