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

Abstract Internet of Things (IoT) has come a long way since its inception. However, the
standardization process in IoT systems for a secure IoT solution is still in its early days …

Despite the efficacy of fuzzing in verifying the implementation correctness of IoT protocols,
existing IoT fuzzing approaches grapple with several limitations, including unknown …

Recently, Deep learning (DL) compilers have been widely developed to optimize the
deployment of DL models. These DL compilers transform DL models into high-level …

Pre-trained models have witnessed significant progress in nature language (including
source code) and binary code comprehension. However, none of them are suitable for …

Android applications are pervasively adopted and heavily relied on in our daily life, leading
to the growing demand for enhanced user experiences, such as ease for operation and …

Fuzzing network protocols is challenging due to their various factors including syntax, state
transition, and even conformation of its executable software. To achieve better convenience …

As our dependence on the internet and digital platforms grows, the risk of cyber threats rises,
making it essential to implement effective Measures to safeguard sensitive information …

Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation Page 1 Public Automata-Guided
Control-Flow-Sensitive Fuzz Driver Generation Cen Zhang, Yuekang Li, Hao Zhou, **aohan …

Automatic exploit generation (AEG) refers to the process of automatically finding the path in
the program that can trigger vulnerabilities and generate exploits. Generally speaking, the …