Binary Patch Verification

Research Areas: End System Security

Principal Investigator: Aravind Machiry

We will investigate ways to verify the safety of program patches at the binary level.

Personnel

Other PIs: Antonio Bianchi