Sign in

Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation.

Lannan LuoQiang ZengChen CaoKai ChenJian LiuLimin LiuNeng GaoMin YangXinyu XingPeng Liu
Published in: IEEE Trans. Mob. Comput. (2020)
Keyphrases
  • symbolic execution
  • artificial intelligence
  • data sets
  • case study
  • mobile devices
  • context aware