Sign in

SkillScanner: Detecting Policy-Violating Voice Applications Through Static Analysis at the Development Phase.

Song LiaoLong ChengHaipeng CaiLinke GuoHongxin Hu
Published in: CCS (2023)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • malicious code
  • case study
  • java card
  • policy making
  • software engineering
  • semi automatic
  • test suite
  • optimal policy
  • virtual machine
  • quality assurance
  • symbolic execution