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
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-3 of 3