 A Systematic Study of Android Non-SDK (Hidden) Service API SecurityIEEE Transactions on Dependable and Secure Computing (TDSC), 2022 |
 Systematic Mutation-based Evaluation of the Soundness of
Security-focused Android Static Analysis TechniquesACM Transactions on Privacy and Security (ACM TOPS), 2021 |
 SeCloak: ARM Trustzone-based Mobile Peripheral ControlACM SIGMOBILE International Conference on Mobile Systems, Applications, and Services (MobiSys), 2018 |
 Sound and Precise Malware Analysis for Android via Pushdown Reachability
and Entry-Point SaturationSecurity and Privacy in Smartphones and Mobile Devices (SPSM), 2013 |
 Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in
the Android Operating SystemWorld Congress on Formal Methods (FM), 2013 |
 PlaceRaider: Virtual Theft in Physical Spaces with SmartphonesNetwork and Distributed System Security Symposium (NDSS), 2012 |
