Login / Signup

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection.

Kohei TsujioMohammad Abdullah Al FaruqueYasser Shoukry
Published in: ICCPS (2024)
Keyphrases
  • image processing
  • database systems
  • database
  • data sets
  • data analysis
  • input data