Fuzzing is popular for bug detection and vulnerability discovery nowadays. To adopt fuzzing
for concurrency problems like data races, several recent concurrency fuzzing approaches …

System call filtering is a widely used security mechanism for protecting a shared OS kernel
against untrusted user applications. However, existing system call filtering techniques either …

GPUs are progressively being integrated into modern society, playing a pivotal role in
Artificial Intelligence and High-Performance Computing. Programmers need a deep …

Controlled concurrency testing (CCT) techniques have been shown promising for
concurrency bug detection. Their key insight is to control the order in which threads get …

Modern multi-threaded software systems commonly leverage locks to prevent concurrency
bugs. Nevertheless, due to the complexity of writing the correct concurrent code, using locks …

Memory corruption vulnerabilities can occur in multithreaded executions, known as
concurrency vulnerabilities in this paper. Due to non-deterministic multithreaded executions …

Concurrency use-after-free (UAF) vulnerabilities account for a large portion of UAF
vulnerabilities in Linux drivers. Many solutions have been proposed to find either …

Concurrent programs are still prone to bugs arising from the subtle interleavings of threads.
Traditional static analysis for concurrent programs, such as data-flow analysis and symbolic …

With a growing demand of concurrent software to exploit multi-core hardware capability,
concurrency vulnerabilities have become an inevitable threat to the security of today's IT …

Data race is one of the most common concurrency issues in OS kernels, and it can cause
severe problems like system crashes and privilege escalation. Therefore, detecting kernel …