[ICCPS 2024] Accepted Paper: Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection

Our paper “Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection” has been accepted to the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS’24). Congratulations Kohei

← [Paper Award] HiPEAC 2023 Paper Award
[ACM TCPS] Accepted Paper: CASTNet: A Context-Aware, Spatio-Temporal Dynamic Motion Prediction Ensemble for Autonomous Driving →