Hongliang Liang, Tianqi Yang, Lin Jiang, Yixiu Chen, Zhuosi Xie: Witness: Detecting Vulnerabilities in Android Apps Extensively and Verifiably. APSEC 2019: 434-441