SEMANTICS-DIRECTED BINARY REVERSE ENGINEERING AND TRANSFORMATION VALIDATION

The Pennsylvania State University

Investigators