FunctionSimSearch: Fast search for statically linked library functions

Symbolic Path Tracing to Find Android Permission-Use Triggers

Kristopher Micinski (Haverford College), Thomas Gilray (University of Alabama, Birmingham), Daniel Votipka (University of Maryland), Michelle L. Mazurek (University of Maryland), Jeffrey S. Foster (Tufts University)

A Comparative Study of Program Graph Effectiveness for Binary...

Michael Kadoshnikov, Clemente Izurieta, Matthew Revelle (Montana State University)

Effects of Precise and Imprecise Value-Set Analysis (VSA) Information...

Laura Matzen, Michelle A Leger, Geoffrey Reedy (Sandia National Laboratories)

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

Symbolic Path Tracing to Find Android Permission-Use Triggers

A Comparative Study of Program Graph Effectiveness for Binary...

Effects of Precise and Imprecise Value-Set Analysis (VSA) Information...