Principal Investigator: Aravind Machiry
We will investigate ways to verify the safety of program patches at the binary level.
Other PIs: Antonio Bianchi