1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.CR2025
RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
Detecting kinetic vulnerabilities in Cyber-Physical Systems (CPS), vulnerabilities in control code that can precipitate hazardous physical consequences, is a critical challenge. Th…
cs.CR2024★ 1 cited
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
This paper presents a novel tool, named Rampo, that can perform binary code analysis to identify cyber kinetic vulnerabilities in CPS. The tool takes as input a Signal Temporal Log…