I am a Ph.D. student 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

• 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
  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