Yu-Jye Tung (University of California, Irvine), Ian Harris (University of California Irvine)
A Heuristic Approach to Detect Opaque Predicates that Disrupt Static Disassembly
View More Papers
Towards Automatically Generating a Sound and Complete Dataset for...
Aravind Machiry (UC Santa Barbara), Nilo Redini (UC Santa Barbara), Eric Gustafson (UC Santa Barbara), Hojjat Aghakhani (UC Santa Barbara), Christopher Kruegel (UC Santa Barbara), Giovanni Vigna (UC Santa Barbara)
Read MoreSn4ke: Practical Mutation Analysis of Tests at Binary Level
Mohsen Ahmadi (Arizona State University), Pantea Kiaei (Worcester Polytechnic Institute), Navid Emamdoost (University of Minnesota)
Read MorePISE: Protocol Inference using Symbolic Execution and Automata Learning
Ron Marcovich, Orna Grumberg, Gabi Nakibly (Technion, Israel Institute of Technology)
Read More