Vaibhav Sharma (University of Minnesota), Navid Emamdoost (University of Minnesota), Seonmo Kim (University of Minnesota), Stephen McCamant (University of Minnesota)
It Doesn’t Have to Be So Hard: Efficient Symbolic Reasoning for CRC
View More Papers
Unlocking the Potential of Domain Aware Binary Analysis in...
Dr. Zhiqiang Lin (Distinguished Professor of Engineering at The Ohio State University)
Read Morecozy: Comparative Symbolic Execution for Binary Programs
Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper)
Read MoreBPA-X: An Architecture-Agnostic Block-Based Points-to Analysis for Stripped Binaries
Bokai Zhang, Monika Santra, Syed Rafiul Hussain, Gang Tan (Pennsylvania State University)
Read More