I am a Ph.D. candidate in the Computer Science department at Purdue University, working under the guidance of Prof. Antonio Bianchi. My research interests encompass a wide range of mobile security topics, with a current focus on SMS OTP authentication, Android scoped storage vulnerability analysis, and mobile driving license standard ISO 18013-5. I primarily concentrate on developing novel security frameworks by leveraging differential analysis for vulnerability detection and formal verification techniques to ensure the robustness of mobile systems.

Publications

• ScopeVerif: Analyzing the Security of Android's Scoped Storage via Differential Analysis
  Zeyu Lei, Güliz Seray Tuncay, Beatrice Carissa Williem, Z. Berkay Celik, and Antonio Bianchi. In Proceedings of the Network and Distributed Systems Security (NDSS) Symposium 2025
• On the insecurity of SMS one-time password messages against local attackers in modern mobile devices
  Zeyu Lei, Yuhong Nan, Yanick Fratantonio, and Antonio Bianchi. In Proceedings of the Network and Distributed Systems Security (NDSS) Symposium 2021 [Paper], [Video], [Slides]

Talks

• Security Analysis of Three Emerging Pieces of Android OS
  Android Security and Privacy Research (ASPIRE), Google (remote), October 2022