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
A Cross-Architecture Instruction Embedding Model for Natural Language Processing-Inspired...
Kimberly Redmond (University of South Carolina), Lannan Luo (University of South Carolina), Qiang Zeng (University of South Carolina)
Read MoreSURGEON: Performant, Flexible and Accurate Re-Hosting via Transplantation
Florian Hofhammer (EPFL), Marcel Busch (EPFL), Qinying Wang (EPFL and Zhejiang University), Manuel Egele (Boston University), Mathias Payer (EPFL)
Read MoreFirmLine: a Generic Pipeline for Large-Scale Analysis of Non-Linux...
Alexander Balgavy (Independent), Marius Muench (University of Birmingham)
Read MoreDetecting Obfuscated Function Clones in Binaries using Machine Learning
Michael Pucher (University of Vienna), Christian Kudera (SBA Research), Georg Merzdovnik (SBA Research)
Read More