Program Co-Chair
- 20th Workshop on Programming Languages and Analysis for Security (PLAS 2025)
Track Co-Chair
- 21st ACM ASIA Conference on Computer and Communications Security (ACM AsiaCCS 2026)
Track on Software Security, Formal Methods and Programming Languages
Program Committee Member
- ACM Conference on Computer and Communications Security (CCS) - 2026
- ACM ASIA Conference on Computer and Communications Security (AsiaCCS) - 2025
- The ACM Web Conference (WWW) – 2025
- IEEE Computer Security Foundations (CSF) - 2022, 2023, 2024, 2025
- International Conference on Computer Aided Verification (CAV) - 2023
- IEEE European Symposium on Security and Privacy (EuroS&P) - 2023, 2024