Thomas Dullien
FunctionSimSearch: Fast search for statically linked library functions
View More Papers
FirmDiff: Improving the Configuration of Linux Kernels Geared Towards...
Ioannis Angelakopoulos (Boston University), Gianluca Stringhini (Boston University), Manuel Egele (Boston University)
Read MoreA Heuristic Approach to Detect Opaque Predicates that Disrupt...
Yu-Jye Tung (University of California, Irvine), Ian Harris (University of California Irvine)
Read MorePISE: Protocol Inference using Symbolic Execution and Automata Learning
Ron Marcovich, Orna Grumberg, Gabi Nakibly (Technion, Israel Institute of Technology)
Read More