Detecting information leaks in Android applications using a hybrid approach with program slicing, instrumentation and tagging | IEEE Conference Publication | IEEE Xplore