Publications

• Automated Repair of Information Flow Security in Android Implicit Inter-App Communication
  Abhishek Tiwari*, Jyoti Prakash, Zhen Dong, Carlo A. Furia
  26th IEEE International Symposium on Formal Methods
  Preprint will be available soon.
• Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps
  Abhishek Tiwari*, Jyoti Prakash*, Christian Hammer
  34th IEEE International Symposium on Software Reliability Engineering
  
• Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization
  Jyoti Prakash, Abhishek Tiwari, Christian Hammer
  ArXiv Preprint
• Understanding the Impact of Fingerprinting in Android Hybrid Apps
  Abhishek Tiwari*, Jyoti Prakash*, Alimerdan Rahimov, Christian Hammer
  10th International Conference on Mobile Software Engineering and Systems 2023 (MobileSoft'23, colocated with ICSE'23) ACM SIGSOFT Distinguished Paper Award
• Effects of Program Representation on Pointer Analyses — An Empirical Study
  Jyoti Prakash, Abhishek Tiwari, and Christian Hammer
  24th International Conference on Fundamental Approaches to Software Engineering (FASE'21)
• A Large Scale Analysis of Android - Web Hybridization
  Abhishek Tiwari, Jyoti Prakash, Sascha Groß, and Christian Hammer
  Journal of Systems and Software 170
• A Large Scale Analysis of Android - Web Hybridization
  Abhishek Tiwari, Jyoti Prakash, Sascha Groß, and Christian Hammer
  19th International Working Conference on Source Code Analysis and Manipulation (SCAM'2019)