Projects
Tagged As
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
Tactical Key Management
Cryptographic keys can now be created and securely distributed in real time during a mission.
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
Cyber Adversarial Scenario Modeler and Artificial Intelligence Decision Engine (CASCADE)
CASCADE software simulates cyber attacker and defender actions and recommends multiple courses of action to make systems and networks more secure.
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