A rising number of embedded devices are reachable in the cyberspace, such as routers,
cameras, printers, etc. Those devices usually run firmware whose code is proprietary with …

Automatic testing has garnered significant attention and success over the past few decades.
Techniques such as unit testing and coverage-guided fuzzing have revealed numerous …

Symbolic execution has become a popular technique for software testing and vulnerability
detection. Most implementations transform the program under analysis to some intermediate …

Emulators are widely used to build dynamic analysis frameworks due to its fine-grained
tracing capability, full system monitoring functionality, and scalability of running on different …

Program obfuscation is a widely employed approach for software intellectual property
protection. However, general obfuscation methods (eg, lexical obfuscation, control …

Symbolic execution has become an indispensable technique for software testing and
program analysis. However, since several symbolic execution tools are presently available …

Control-flow obfuscation increases program complexity by semantic-preserving
transformation. Opaque predicates are essential gadgets to achieve such transformation …

Many recent approaches have been proposed to improve the quality of Systems-on-Chips
(SoC), mainly focusing on a specific part of the SoC, eg, device driver, hardware, firmware …

Emulators are commonly employed to construct dynamic analysis frameworks due to their
ability to perform fine-grained tracing, monitor full system functionality, and run on diverse …

Linux kernel is pervasive in the cloud, on mobile platforms, and on supercomputers. To
support these diverse computing environments, the Linux kernel provides extensibility and …