The vulnerabilities in Ethereum virtual machine (EVM) may lead to serious problems for the
Ethereum ecosystem. With lots of techniques being developed for the validation of smart …

Kernel fuzzing is an effective technique in operating system vulnerability detection. Fuzzers
such as Syzkaller and Moonshine frequently pass highly structured data between fuzzer …

Rt-Linux contains critical modifications that are much less tested than the vanilla kernel, thus
placing many systems at risk. In this paper, we present DRLF, a directed fuzzer targeted …

ABSTRACT The Robot Operating System 2 (ROS) is the de-facto standard for robotic
software development, with a wide application in diverse safety-critical domains. There are …

Code coverage is crucial for fuzzing. It helps fuzzers identify areas of a program that have
not been explored, which are often the most likely to contain bugs. However, code coverage …

Embedded operating systems, considering their widespread use in security-critical
applications, are not effectively tested with sanitizers to effectively root out bugs. Sanitizers …