Thomas Dullien
FunctionSimSearch: Fast search for statically linked library functions
View More Papers
The Inconvenient Truths of Ground Truth for Binary Analysis
Jim Alves-Foss, Varsha Venugopal (University of Idaho)
Read MorePISE: Protocol Inference using Symbolic Execution and Automata Learning
Ron Marcovich, Orna Grumberg, Gabi Nakibly (Technion, Israel Institute of Technology)
Read More