Login / Signup

Finding Missing Security Operation Bugs via Program Slicing and Differential Check.

Yeqi FuYongzhi LiuQian ZhangZhou YangXiarun ChenChenglin XieWeiping Wen
Published in: ICICS (2023)
Keyphrases
  • program slicing
  • source code
  • security vulnerabilities
  • missing data
  • neural network
  • formal verification
  • database systems
  • reverse engineering
  • description languages