FunctionSimSearch: Fast search for statically linked library functions

Analyzing the Security of Smart Automobile Applications

Zoya Yeprem (University of Virginia)

A Cross-Architecture Instruction Embedding Model for Natural Language Processing-Inspired...

Kimberly Redmond (University of South Carolina), Lannan Luo (University of South Carolina), Qiang Zeng (University of South Carolina)

Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary...

Arnau Gàmez-Montolio (City, University of London; Activision Research), Enric Florit (Universitat de Barcelona), Martin Brain (City, University of London), Jacob M. Howe (City, University of London)

Creating Human Readable Path Constraints from Symbolic Execution

Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

Analyzing the Security of Smart Automobile Applications

A Cross-Architecture Instruction Embedding Model for Natural Language Processing-Inspired...

Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary...

Creating Human Readable Path Constraints from Symbolic Execution