FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware
An Empirical Study of Data Disruption by Ransomware Attacks
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
LPR: Large Language Models-Aided Program Reduction
On the Caching Schemes to Speed Up Program Reduction
PPR: Pairwise Program Reduction
Building Dynamic System Call Sandbox with Partial Order Analysis
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
CoopHance: Cooperative Enhancement for Robustness of Deep Learning System
Finding Deviated Behaviors of Compressed DNN Models for Image Classifications