System emulation and firmware re-hosting have become popular techniques to answer
various security and performance related questions, such as determining whether a …

Given a target binary function, the binary code search retrieves top-K similar functions in the
repository, and similar functions represent that they are compiled from the same source …

API functions often require the crafting of specific inputs and may return some output that is
usually processed by the code that immediately follows their invocation. In this work, we …

Binary analysis of software is a critical step in cyber forensics applications such as program
vulnerability assessment and malware detection. This involves interpreting instructions …

Static and dynamic binary analysis techniques are actively used to reverse engineer
software's behavior and to detect its vulnerabilities, even when only the binary code is …

In this paper, we propose BINO, a static analysis approach that relieves reverse engineers
from the challenging task of recognizing library functions that have been inlined. BINO …

The principal tasks of program analysis, including bug searching and code similarity
detection, are executed at the function level. However, the accurate identification of functions …

Static analysis tools need information about the ISA and the boundaries of the code and
data sections of the binary they analyze. This information is often not readily available in …

Several critical contexts, such as healthcare, smart cities, drones, transportation, and
agriculture, nowadays rely on IoT, or more in general embedded, devices that require …

Abstract Advanced Persistent Threats (APTs) are stealthy and long-term attacks on cyber
systems that threaten the security and privacy of sensitive information. The interactions of …