About
My research interests include Security and Privacy, Trustworthy AI, Software Engineering and Formal Methods. I obtained my PhD degree from National University of Singapore, Singapore, and my M.S. and B.S. degrees from Peking University, China. I am an Associate Editor of IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Service Computing, and Neural Networks.
I am recently working on these areas:
- Privacy Compliance of Emerging App Ecosystems
- LLM-based Apps: ASE24 (ACM SIGSOFT Distinguished Paper)
- Virtual Personal Assistant Apps: PICO@ICSE24, QuPer@PETS24, Skipper@ASE22, VITAS@ASE22
- Web-based Apps: SIGMETRICS23, ExtPPCompliance@ASE22, WPF@WWW21
- Android: DopCheck@FSE24, U2-I2@NDSS23
- Trustworthy and Responsible AI
- AI Model Usage Control: CoreLocker@IEEE S&P24 [CoreLocker Website]
- Robustness Verification: WraLU@POPL24
- Privacy Compliance: AlgoSpec@Usenix Security24, AgrAmplifier@ACSAC22, TDSC22
- Reliable AI Model Deployment: ML Model Optimization Bugs@ICSE23
- IoT/ICS Security
- PFCon@WWW24
- Taifu (Taifu stands for 太傅‚ the Grand Tutor of the emperor in imperial China, who is in charge of providing a young emperor with moral guidance)@ISSTA21, [Taifu Website]
- HomeScan@TSE19
- ACSAC17
- Mobile Security
- U2-I2@NDSS23, [U2-I2 Website]
- MobiCom22
- ASE19
- DroidPF@TSE18
I am honored to be working or have worked with:
- Fengqi Yu: AI Software Compliance and Alignment
- Bowei Guan
- Ruomai Ren: AI4SE, GUI Testing, VR Testing
- Chuan Yan: AI Software Compliance and Alignment
- Zhongkui Ma: Trustworhy AI, Robustness Verification
- Shuofeng Liu: Trustworthy AI, AI Controlabillity, AI Alignment
- Zihan Wang: Trustworhy AI, Secure Model Deployment
- Haodi Wang: (Visiting Scholar): Privacy-preserving Learning
- Pankaj Upadhyay: AI-enhanced Formal Verification
- Baiqi Chen: Privacy Compliance
- Suwan Li (Visiting Scholar): AI Software Compliance and Alignment
- Chuan Yan: AI Software Compliance and Alignment
- Mengyao Ma: Privacy-preserving Learning
- Liuhuo Wan (now Research Fellow at University of Wollongong): Mini Apps Security, Web Security
- Fuman Xie (now Research Fellow at UQ): AI Software Compliance and Alignment
- Hao Guan (now Lecturer at Nankai University): AI4SE, AI4Security
- Mark Huasong Meng (NUS PhD, UQ Visiting Scholar, now Assistant Professor at University College Dublin ): Android Security
- Kailong Wang (NUS PhD, UQ Visiting Scholar, now Associate Professor at Huazhong University of Science and Technology): Network Security, Machine Learning on Security
- Kulani Mahadewa (NUS PhD, now Senior Lecturer at University of Moratuwa): IoT Security
- Yanjun Zhang (UQ PhD, now Lecturer at Deakin University): Privacy-preserving Machine Learning
- Quanqi Ye (NUS PhD, now Lecturer at Waikato University): Mobile Security