Associate Professor

Education

• PhD (2016-2019), Software Engineering Group, University of Potsdam, Germany (Supervisor, Prof. Dr.-Ing Christian Hammer. ). Thesis, PDF

• Master of Computer Science at Saarland University, Germany. 

• Bachelor of Technology in Information Technology at SASTRA University, India.

Work Experience 

• [Sep 2025 - Present] Associate Professor of Software Engineering at the Maersk Mc-Kinney Moller Institute. SDU Odense, Denmark.

• [Sep 2024 - August 2025] Assistant Professor of Software Engineering at the Maersk Mc-Kinney Moller Institute. SDU Odense, Denmark.

• [Jan 2024- August 2024] Senior Researcher at Software Institute, USI Lugano, Switzerland.

• [Mar 2022- Dec 2023] Senior Researcher at the University of Passau, Germany.

• [Jan 2020- Dec 2021] Research Fellow (PostDoc) at the National University of Singapore.

• [Feb 2013- Jan 2014] Senior Software Engineer at Aricent Group, India.

• [Sep 2011- Jan 2013] Engineer at Samsung Software Engineering Lab, India.

• [July 2010- Aug 2011] Software Engineer at Aricent Group, India.

 Publications (* indicates joint-first authors)

[2025]

• [SCP] Jyoti Prakash, Abhishek Tiwari, and Christian Hammer. Modular Unification of Unilingual Pointer Analyses to Multilingual FFI-Based Programs. In Science of Computer Programming, Elsevier. DOI: https://doi.org/10.1016/j.scico.2025.103278  PDF Tool

[2024]

• [ISSTA] Xiaobao Cai, Zhen Dong, Yongjiang Wang, Abhishek Tiwari, and Xin Peng. Reproducing Timing-dependent GUI Flaky Tests in Android Apps via A Single Event Delay. In 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). PDF Tool

• [FM] Abhishek Tiwari, Jyoti Prakash, Zhen Dong, and Carlo A. Furia. Automated Repair of  Information Flow Security in Android Implicit Inter-App Communication. In 26th International Symposium On Formal Methods. PDF Tool

• [ISoLA]  Carlo A. Furia and Abhishek Tiwari.  Challenges of Multilingual Program Specification and Analysis. In Bridging gaps between program specification paradigms (Specify This) Track, ISoLA 2024. PDF

[2023]

• [ISSRE] Abhishek Tiwari*, Jyoti Prakash*, and Christian Hammer. Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps. In 34th International Symposium of Software Reliability Engineering. PDF Tool Docker

• [MOBILESoft] Abhishek Tiwari*, Jyoti Prakash*, Alimerdan Rahimov, and Christian Hammer. Understanding the Impact of Fingerprinting in Android Hybrid Apps.  International Conference on Mobile Software Engineering and Systems 2023, co-located with ICSE 2023. PDF Tool (ACM SIGSOFT Distinguished Paper Award)

[2022]

• [TOSEM] Andreea Costea*, Abhishek Tiwari*, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, and Ilya Sergey. HIPPODROME: Data Race Repair using Static Analysis Summaries. ACM Transactions on Software Engineering and Methodology (TOSEM). PDF Tool Docker

[2021]

• [ESEC/FSE]  Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, and Abhik Roychoudhury. Flaky Test Detection in Android via Event Order Exploration.  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2021. PDF Tool

• [FASE] Jyoti Prakash, Abhishek Tiwari, and Christian Hammer.  Effects of Program Representation on Pointer Analyses — An Empirical Study.  In 24th International Conference on Fundamental Approaches to Software Engineering (FASE), 2021.

[2020]

• [JSS] Abhishek Tiwari, Jyoti Prakash, Sascha Groß, and Christian Hammer.  A Large Scale Analysis of Android - Web Hybridization. In Journal of Systems and Software. DOI: https://doi.org/10.1016/j.jss.2020.110775 PDF

[2019]

• [SecureComm] Abhishek Tiwari, Sascha Groß, and Christian Hammer.  IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications. In S. Chen et al. (Eds.): Security and Privacy in Communication Networks , Springer LNICST 305, pp. 335-349, 2019. PDF

• [SCAM] Abhishek Tiwari, Jyoti Prakash, Sascha Groß, and Christian Hammer.  LUDroid: A Large Scale Analysis of Android - Web Hybridization. In Proc. 19th International Working Conference on Source Code Analysis and Manipulation, pp. 256-267, IEEE, 2019. PDF

[2018]

• [ESORICS] Sascha Groß*, Abhishek Tiwari*, and Christian Hammer.  PIAnalyzer: A Precise Approach to PendingIntent vulnerability analysis. In  Computer Security. ESORICS 2018 , pp 41-59, Springer LNCS 11099, 2018. PDF

• [SecureComm] Abhishek Tiwari, Fabian Bendun, and Christian Hammer. A Formal Logic Framework for the Automation of the Right to Be Forgotten. In Security and Privacy in Communication Networks , pp 95-111, Springer,  LNICST 254 , 2018. PDF

[2017]

• [SecureComm] Sascha Groß*, Abhishek Tiwari*, and Christian Hammer. ThiefTrap - An Anti-Theft Framework for Android. In  Security and Privacy in Communication Networks , pp 167-184, Springer,  LNICST 238 , 2018.

Recent Projects

• Programming Principles and Abstraction for Privacy (SFB subproject), Funded by Deutsche Forschungsgemeinschaft (DFG) at University of Potsdam.

• SmartPriv, Funded by the German Federal Ministry of Education and Research at University of Potsdam.

• SMAPPER, Funded by EIT Digital at Saarland University.

Teaching

• Lecturer, Advanced Software Engineering Methodologies (Autumn 2024), University of Southern Denmark, Denmark.

• Lecturer, Programming Paradigms (Summer Semester 2023), University of Passau, Germany.

• Lecturer, Automated Program Repair (Summer Semester 2022, 2023), University of Passau, Germany.

• Lecturer, Mobile Security (Summer Semester 2022), University of Passau, Germany.

• Teaching Assistant, Introduction to Android Security (Summer Semester 2019). University of Potsdam, Germany.

• Teaching Assistant, Research Seminar in Software Engineering (Summer Semester 2018/2019). University of Potsdam, Germany.

• Teaching Assistant, Secure Information Flow. University of Potsdam(Winter Semester 2018-19), Germany.

Recent Talks

• A Central and Evolving Benchmark. At  Benchwork 2019 , co-located with ECOOP 2019 , London, UK. PDF

• Sticky Vulnerabilities and Information Flows in Android. At Oracle Labs, Brisbane, Australia.

• Enhancing Users' Privacy: Static Resolution of the Dynamic Properties of Android. At IIT Kanpur and IIIT Delhi, India.

• Static detection of Android Vulnerabilities. At University of Koblenz -Landau, Germany.

Academic Service

• [Journal] Reviewer for the Journal of Computer Security, ACM Transactions on Software Engineering and Methodology (TOSEM), Transactions on Dependable and Secure Computing (TDSC), Empirical Software Engineering (EMSE), and MDPI open-access journal.

• PC at ASE 2025, 2024 Research Track, ISEC 2025 Research Track, ICSE 2025 SRC-ACM Student Research Competition.

• Social Media/Web Chair ICSA 2025, FormaliSE 2024.

• PC at ICSE, ISSTA, TACAS 2024 AEC Track, (PLDI, ISSTA, and VMCAI) 2023 AEC Track,  ISSTA 2022 AEC Track, SCAM 2021 NIER Track.

• Junior PC at MSR 2023, Sub-Reviewer for MSR 2020, ISSTA 2021, Shadow PC for IEEE S&P 2021.

• Expert Panel Member for the Reaccreditation of the Doctoral program at the University of Zagreb and the University of Zadar.