Communication protocols form the bedrock of our interconnected world, yet vulnerabilities
within their implementations pose significant security threats. Recent developments have …

In this paper we propose, design and evaluate a systematic directed fuzzing framework to
automatically discover implementation bugs in arbitrary Bluetooth Classic (BT) devices. The …

Recent rise in the mobile network communication vulnerabilities highlights the need for
systematic security testing frameworks for communication protocols. In this paper, we …

Internet-of-Things (IoT) devices have become widely popular and are being increasingly
utilized in both home and industrial environments. Such devices use a variety of different …

As software vulnerabilities can cause cybersecurity threats and have severe consequences,
it is necessary to develop effective techniques to discover such vulnerabilities. Fuzzing is …

Fuzzing is a practical approach to discovering flaws in the design and implementation of Wi-
Fi protocols. However, existing Wi-Fi fuzzers are either vendor-or ecosystem-specific …

Directed grey-box fuzzing is a widely used automatic testing technique that has helped
developers test specific code space in the target program. Although many directed fuzzers …

Many verification and validation activities involve reasoning about constraints over complex,
hierarchical data types. For example, distributed protocols are often defined using state …

Greybox fuzzing is a scalable and practical approach for software testing. Most greybox
fuzzing tools are coverage‐guided as reaching high code coverage is more likely to find …

Internet-of-Things (IoT) devices have become widely popular and are being increasingly
utilized in both home and industrial environments. Such devices use a variety of protocols …