@misc{indiciae9b6a3d364aa9,
  title = {Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection},
  author = {Kohei Tsujio and Mohammad Abdullah Al Faruque and Yasser Shoukry},
  year = {2024},
  doi = {10.1109/iccps61052.2024.00011},
  url = {https://arxiv.org/abs/2402.12642},
  note = {Source identifier: 2402.12642}
}