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 (ICCPS, 2024)

CASTNet: A Context-Aware, Spatio-Temporal Dynamic Motion Prediction Ensemble for Autonomous Driving. - Trier Mortlock; Arnav V. Malawade; Kohei Tsujio; Mohammad Abdullah Al Faruque (ACM Trans. Cyber Phys. Syst., 2024)