Sign in

Spenny: Extensive ICS Protocol Reverse Analysis via Field Guided Symbolic Execution.

Yue SunZhi LiShichao LvLimin Sun
Published in: IEEE Trans. Dependable Secur. Comput. (2023)
Keyphrases
  • symbolic execution
  • real world
  • general purpose
  • artificial intelligence
  • case study
  • relational databases
  • open source