1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2025
Automated detection of atomicity violations in large-scale systems
Hang He, Yixing Luo, Chengcheng Wan +3
Atomicity violations in interrupt-driven programs pose a significant threat to software reliability in safety-critical systems. These violations occur when the execution sequence o…
cs.SE2024★ 1 cited
BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering
Jiayi Jiang, Xiyuan Zhang, Chengcheng Wan +3
Protocol reverse engineering (PRE) aims to infer the specification of network protocols when the source code is not available. Specifically, field inference is one crucial step in…