Directed Compilation for Assured Patching
As part of the DARPA AMP project, we are working on:
- automatically applying software patches at the binary level, even when the original source code or the original tool-chain is not available;
- automatically verifying the functionality of the patched software.
People
Muqi Zou
Prashast Srivastava
Postdoc at Columbia University
Ruoyu Wu
Google
Taegyu Kim
Assistant Professor at the Pennsylvania State University