activity
20232026
most citedRampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection

1 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

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…

eess.SY2025

Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility

Jaejeong Park, Mahmoud Elfar, Cody Fleming +1

Urban Air Mobility (UAM) has emerged as a promising solution to alleviate urban congestion and transportation challenges. Nevertheless, the noise generated by eVTOL aircrafts poses…