Mobile Software
- ViaLin: Path-Aware Dynamic Taint Analysis for Android, FSE 2023
- Rotten Apples Spoil the Bunch: An Anatomy of Google Play Malware, ICSE 2022
- MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis, ICST 2021
- Analyzing Android Taint Analysis Tools: FlowDroid, Amandroid, and DroidSafe, TSE 2021
- Goal-driven Exploration for Android Applications, ASE 2019
- Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe, ISSTA 2018
Trustworthy ML
Cloud Software
Compositional Software Development