Binary code search has received much attention recently due to its impactful applications,
eg, plagiarism detection, malware detection and software vulnerability auditing. However …

It is well-known that static disassembly is an unsolved problem, but how much of a problem
is it in real software—for instance, for binary protection schemes? This work studies the …

Static binary rewriting has many important applications in reverse engineering, such as
patching, code reuse, and instrumentation. Binary reassembling is an efficient solution for …

Disassembly of binary code is hard, but necessary for improving the security of binary
software. Over the past few decades, research in binary disassembly has produced many …

This paper presents PT-CFI, a new backward-edge control flow violation detection system
based on a novel use of a recently introduced hardware feature called Intel Processor Trace …

Control-flow integrity (CFI) is a promising technique to mitigate control-flow hijacking attacks.
In the past decade, dozens of CFI mechanisms have been proposed by researchers …

Disassembling stripped binaries is a prominent challenge for binary analysis, due to the
interleaving of code segments and data, and the difficulties of resolving control transfer …

Different from source code clone detection, clone detection (similar code search) in binary
executables faces big challenges due to the gigantic differences in the syntax and the …

We present the design, implementation, and evaluation of FineIBT: a CFI enforcement
mechanism that improves the precision of hardware-assisted CFI solutions, like Intel IBT, by …

Recent IoT applications gradually adapt more complicated end systems with commodity
software. Ensuring the runtime integrity of these software is a challenging task for the remote …