Sign in

KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.

Pansilu PitigalaarachchiXuhua DingHaiqing QiuHaoxin TuJiaqi HongLingxiao Jiang
Published in: CCS (2023)
Keyphrases
  • data analysis
  • data structure
  • multi dimensional