A Privacy Enforcement Framework for Android Systems Using Symbolic Execution-Based Instrumentation | IEEE Conference Publication | IEEE Xplore