research
∙
04/14/2023
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Although existing techniques have proposed automated approaches to allev...
share
research
∙
12/11/2022
Understanding Concurrency Vulnerabilities in Linux Kernel
While there is a large body of work on analyzing concurrency related sof...
research
∙
11/21/2021
Challenging Machine Learning-based Clone Detectors via Semantic-preserving Code Transformations
Software clone detection identifies similar code snippets. It has been a...
research
∙
09/14/2021
Detecting Safety Problems of Multi-Sensor Fusion in Autonomous Driving
Autonomous driving (AD) systems have been thriving in recent years. In g...
research
∙
06/02/2021
Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing
Simulation-based virtual testing has become an essential step to ensure ...
research
∙
07/31/2020
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs
Grey-box fuzz testing has revealed thousands of vulnerabilities in real-...
research
∙
11/04/2019
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection
CPU cache is limited but crucial storage on modern processor whereas the...
research
∙
06/18/2019
SAVIOR: Towards Bug-Driven Hybrid Testing
Hybrid testing combines fuzz testing and concolic execution. It leverage...
research
∙
07/09/2018
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
The timing characteristics of cache, a high-speed storage between the fa...
research
∙
06/06/2018