Projects

Refine Results

(Filters Applied) Clear All

Tagged As

an illustration of a circuit board
cyber security

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
CASCADE software uses complex systems modeling and simulation to explore thousands of adversarial action-reaction logic branches and predict probable outcomes. The software generates cyber solutions optimized for security, cost, and mission performance.
cyber security

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
The LAVA system automatically injects bugs into program code so that vulnerability discovery techniques can be tested.
cyber security

Large-scale Automated Vulnerability Addition

Computer scientists can test techniques for finding vulnerabilities in code.
Tags
PANDA's replay log files are compact and shareable, allowing for repeatable experiments. For example, a nine billion instruction set is represented by only a few hundred megabytes.
cyber security

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
1-4 of 4