Abhishek Tiwari

According to our database, Abhishek Tiwari authored at least 19 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay.

Xiaobao Cai, Zhen Dong, Yongjiang Wang, Abhishek Tiwari, Xin Peng

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Challenges of Multilingual Program Specification and Analysis.

Carlo A. Furia, Abhishek Tiwari

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Automated Repair of Information Flow Security in Android Implicit Inter-App Communication.

Abhishek Tiwari, Jyoti Prakash, Zhen Dong, Carlo A. Furia

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Hippodrome: Data Race Repair Using Static Analysis Summaries.

Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey

ACM Trans. Softw. Eng. Methodol., April, 2023

Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization.

Jyoti Prakash, Abhishek Tiwari, Christian Hammer

CoRR, 2023

Understanding the Impact of Fingerprinting in Android Hybrid Apps.

Abhishek Tiwari, Jyoti Prakash, Alimerdan Rahimov, Christian Hammer

Proceedings of the 10th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2023

Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps.

Abhishek Tiwari, Jyoti Prakash, Christian Hammer

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

2022

Our fingerprints don't fade from the Apps we touch: Fingerprinting the Android WebView.

Abhishek Tiwari, Jyoti Prakash, Alimerdan Rahimov, Christian Hammer

CoRR, 2022

2021

Flaky test detection in Android via event order exploration.

Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Effects of Program Representation on Pointer Analyses - An Empirical Study.

Jyoti Prakash, Abhishek Tiwari, Christian Hammer

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

A Large Scale Analysis of Android - Web Hybridization.

Abhishek Tiwari, Jyoti Prakash, Sascha Groß, Christian Hammer

J. Syst. Softw., 2020

Concurrency-related Flaky Test Detection in Android apps.

Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury

CoRR, 2020

2019

Enhancing users' privacy: static resolution of the dynamic properties of android.

Abhishek Tiwari

PhD thesis, 2019

PointEval: On the Impact of Pointer Analysis Frameworks.

Jyoti Prakash, Abhishek Tiwari, Christian Hammer

CoRR, 2019

IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications.

Abhishek Tiwari, Sascha Groß, Christian Hammer

Proceedings of the Security and Privacy in Communication Networks, 2019

LUDroid: A Large Scale Analysis of Android - Web Hybridization.

Abhishek Tiwari, Jyoti Prakash, Sascha Groß, Christian Hammer

Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

2018

A Formal Logic Framework for the Automation of the Right to Be Forgotten.

Abhishek Tiwari, Fabian Bendun, Christian Hammer

Proceedings of the Security and Privacy in Communication Networks, 2018

PIAnalyzer: A Precise Approach for PendingIntent Vulnerability Analysis.

Sascha Groß, Abhishek Tiwari, Christian Hammer

Proceedings of the Computer Security, 2018

2017

ThiefTrap - An Anti-theft Framework for Android.

Sascha Groß, Abhishek Tiwari, Christian Hammer

Proceedings of the Security and Privacy in Communication Networks, 2017