Technical Program Committee

• [PLDI]: ACM SIGPLAN Conference on Programming Language Design and Implementation, 2026.
• [USENIX Sec]: USENIX Security Symposium, 2021, 2022, 2024, 2025, 2026
• [CCS]: ACM Conference on Computer and Communications Security, 2019, 2020.
• [ICICS]: International Conference on Information and Communications Security, 2019, 2020, 2021
• [FEAST]: ACM CCS Workshop on Forming an Ecosystem Around Software Transformation, 2018, 2019, 2020.
• Security and Communication Networks, Special Issue “Attack and Defence of Smart Systems”, Guest Editor.
• Frontiers in Computer Science, Special Issue “Intelligent Defenses for Secure Mobile Software and Systems”, Guest Editor.