The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)

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