Research Mentoring

Research: 5G cellular network protocol, reinforcement learning

Co-author of SPEC5G [AACL 2023] and CellularLint [Usenix Sec 2024]

Research: 5G cellular network protocol defense

Co-author of SPEC5G [AACL 2023]

Research: WiFi security 

Author of WiFi formal verification [Asia CCS 2024]

Research: Graph neural networks

Research: Vehicular Networks Security

Author of  Name Management Protocol Paper [VehicleSec 2024]

Research: Malware generation, Generative AI

Research: Firmware re-hosting and analysis

Research: Linux kernel security, static analysis

Research: Adversarial machine learning, certified robustness 

Research: System security

Teaching