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
Understanding MPU Usage in Microcontroller-based Systems in the Wild
Wei Zhou, Zhouqi Jiang (School of Cyber Science and Engineering, Huazhong University of Science and Technology), Le Guan (School of Computing, University of Georgia)
Read MoreCreating Human Readable Path Constraints from Symbolic Execution
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read MoreNo Source Code? No Problem! Twenty Years of Research...
Jack W. Davidson, Professor of Computer Science in the School of Engineering and Applied Science, University of Virginia
Read MoreBlaze: A Framework for Interprocedural Binary Analysis
Matthew Revelle, Matt Parker, Kevin Orr (Kudu Dynamics)
Read More