A Privacy Enforcement Framework for Android Systems Using Symbolic Execution-Based Instrumentation.

Lei Qin Yan Xiong Wenchao Huang Zhaoyi Meng

Published in: BigCom (2018)

Keyphrases

symbolic execution
distributed systems
mobile devices
building blocks
data model
genetic programming
privacy preserving
quality assessment