ThiefTrap - An Anti-theft Framework for Android. - Sascha Groß; Abhishek Tiwari 001; Christian Hammer 001 (SecureComm, 2017)

PIAnalyzer: A Precise Approach for PendingIntent Vulnerability Analysis. - Sascha Groß; Abhishek Tiwari 001; Christian Hammer 001 (ESORICS (2), 2018)

A Formal Logic Framework for the Automation of the Right to Be Forgotten. - Abhishek Tiwari 001; Fabian Bendun; Christian Hammer 001 (SecureComm (1), 2018)

LUDroid: A Large Scale Analysis of Android - Web Hybridization. - Abhishek Tiwari 001; Jyoti Prakash; Sascha Groß; Christian Hammer 001 (SCAM, 2019)

IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications. - Abhishek Tiwari 001; Sascha Groß; Christian Hammer 001 (SecureComm (2), 2019)

PointEval: On the Impact of Pointer Analysis Frameworks. - Jyoti Prakash; Abhishek Tiwari 001; Christian Hammer 001 (CoRR, 2019)

Enhancing users' privacy: static resolution of the dynamic properties of android. - Abhishek Tiwari 001 (2019)

Concurrency-related Flaky Test Detection in Android apps. - Zhen Dong; Abhishek Tiwari 001; Xiao Liang Yu; Abhik Roychoudhury (CoRR, 2020)

A Large Scale Analysis of Android - Web Hybridization. - Abhishek Tiwari 001; Jyoti Prakash; Sascha Groß; Christian Hammer 001 (J. Syst. Softw., 2020)

Effects of Program Representation on Pointer Analyses - An Empirical Study. - Jyoti Prakash; Abhishek Tiwari 001; Christian Hammer 001 (FASE, 2021)

Flaky test detection in Android via event order exploration. - Zhen Dong; Abhishek Tiwari 001; Xiao Liang Yu; Abhik Roychoudhury (ESEC/SIGSOFT FSE, 2021)

Our fingerprints don't fade from the Apps we touch: Fingerprinting the Android WebView. - Abhishek Tiwari 001; Jyoti Prakash; Alimerdan Rahimov; Christian Hammer 001 (CoRR, 2022)

Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps. - Abhishek Tiwari 001; Jyoti Prakash; Christian Hammer 001 (ISSRE, 2023)

Understanding the Impact of Fingerprinting in Android Hybrid Apps. - Abhishek Tiwari 001; Jyoti Prakash; Alimerdan Rahimov; Christian Hammer 001 (MOBILESoft, 2023)

Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization. - Jyoti Prakash; Abhishek Tiwari 001; Christian Hammer 001 (CoRR, 2023)

Hippodrome: Data Race Repair Using Static Analysis Summaries. - Andreea Costea; Abhishek Tiwari 001; Sigmund Chianasta; Kishore R; Abhik Roychoudhury; Ilya Sergey (ACM Trans. Softw. Eng. Methodol., 2023)

Automated Repair of Information Flow Security in Android Implicit Inter-App Communication. - Abhishek Tiwari 001; Jyoti Prakash; Zhen Dong; Carlo A. Furia (FM (1), 2024)

Challenges of Multilingual Program Specification and Analysis. - Carlo A. Furia; Abhishek Tiwari 001 (ISoLA (3), 2024)

Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay. - Xiaobao Cai; Zhen Dong; Yongjiang Wang; Abhishek Tiwari 001; Xin Peng 001 (ISSTA, 2024)

Ranking Plausible Patches by Historic Feature Frequencies. - Shifat Sahariar Bhuiyan; Abhishek Tiwari 001; Yu Pei 001; Carlo A. Furia (CoRR, 2024)

Modular unification of unilingual pointer analyses to multilingual FFI-based programs. - Jyoti Prakash; Abhishek Tiwari 001; Christian Hammer 001 (Sci. Comput. Program., 2025)