Senior Researcher
Software Institute, USI Lugano, Switzerland
My research interests lie at the borderline between programming languages and software engineering. Primarily, I focus on static program analyses, in particular program slicing, language-based security, and information flow control. I’ve been working intensively on enhancing users’ privacy on Android OS using static program analysis.
Specialties: static program analyses, program slicing, security, information flow, programming languages and paradigms.
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
[Jan 2023 -- Present] Senior Researcher at Software Institute, USI Lugano, Switzerland.
[Mar 2022 -- Dec 2022] Senior Researcher at University of Passau, Germany.
[Jan 2020 -- Dec 2021] Research Fellow (PostDoc) at National University of Singapore.
[Oct 2016 -- Dec 2019] Research Assistant (PhD Candidate) at Software Engineering Group, University of Potsdam, Germany.
[Jul 2014 -- Mar 2016] Student Assistant at CISPA Saarland University, Germany.
[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)
[2024]
[FM] Tiwari, A., Prakash, J., Dong, Z, and Furia, C.. Automated Repair of Information Flow Security in Android Implicit Inter-App Communication. In 26th International Symposium On Formal Methods. PDF Tool
[2023]
[ISSRE] Tiwari, A.*, Prakash, J*., and Hammer, C. Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps. In 34th International Symposium of Software Reliability Engineering. PDF Tool Docker
[MOBILESoft] Tiwari, A.*, Prakash, J*., Rahimov, A., and Hammer, C. 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] Costea, A.*, Tiwari, A.*, Chianasta, S., R, Kishore, Roychoudhury, A., and Sergey, I. HIPPODROME: Data Race Repair using Static Analysis Summaries. ACM Transactions on Software Engineering and Methodology (TOSEM). PDF Tool Docker
[2021]
[ESEC/FSE] Dong, Z, Tiwari, A, Yu, Xiao Liang, and Roychoudhury, A. 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] Prakash, J., Tiwari, A, and Hammer, C. Effects of Program Representation on Pointer Analyses — An Empirical Study. In 24th International Conference on Fundamental Approaches to Software Engineering (FASE), 2021.
[2020]
[JSS] Tiwari, A., Prakash, J., Groß, S., and Hammer, C. 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] Tiwari, A., Gross, S., and Hammer, C. 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 Extended version: PDF
[SCAM] Tiwari, A ., Prakash, J ., Gross, S., and Hammer, C. 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] Gross, S.*, Tiwari, A.*, and Hammer, C. PIAnalyzer: A Precise Approach to PendingIntent vulnerability analysis. In Computer Security. ESORICS 2018 , pp 41-59, Springer LNCS 11099, 2018. PDF
[SecureComm] Tiwari, A ., Bendun, F., and Hammer, C. 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.
[2017]
[SecureComm] Gross, S.*, Tiwari, A.*, and Hammer, C. 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, 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), and MDPI open-access journal.
PC at ASE 2024 Research Track, ISEC 2025 Research Track, ICSE 2025 SRC-ACM Student Research Competition.
Social Media/Web Chair 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.