Projects
![An screengrab from the video showing about a dozen robots in a large room (representing humans at a party)](/sites/default/files/styles/list/public/project/image/2023-01/PACT%20testing.png?itok=NAezdJZO)
Private Automated Contact Tracing
An automated, Bluetooth-based system helps perform contact tracing in a private, anonymous way, offering a method to reduce disease spread during a pandemic.
Tags
![The LAVA system automatically injects bugs into program code so that vulnerability discovery techniques can be tested.](/sites/default/files/styles/list/public/project/image/2018-04/lava_graphic-01_WEB.jpg?itok=mJpwunjv)
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.](/sites/default/files/styles/list/public/project/image/2018-04/Network%20Maze%20Graphic.jpg?h=53c3d587&itok=o4kIZoQH)
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