Projects

Refine Results

(Filters Applied) Clear All
an illustration of a world map with network lines connecting countries
cyber security

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
Small satellites are an attractive option for missions because of their low costs; however, they are vulnerable to cyberattacks. We provide a securable and usable architecture for keeping small satellites resilient to system compromise.
software

Secure Small Satellite Processing Platform

A secure reference architecture enables satellites to recover from cyberattacks and carry on their missions.
Tags
TKM enables seamless over-the-network key distribution to unmanned aerial vehicles (UAVs) and authorized terminals. At left, UAV video is accessible to authorized terminals. At right, an operator has modified access during the mission.
cryptography

Tactical Key Management

Cryptographic keys can now be created and securely distributed in real time during a mission.
Tags
HARDEN interface screenshot
software

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
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
11-16 of 16