/research

Publications

Service

Chair: AsiaCCS'26 (Track Co-Chair: Software Security, Formal Methods, Programming Languages), WOOT'24 (Artifact Evaluation Chair)

PC: RAID'26, CCS'26, USENIX Sec'26, WOOT'26, EuroSec'26, RAID'25, WOOT'25, EuroS&P'25, ACSAC'24, RAID'24, WOOT'24, USENIX Security'24, EuroSec'24, EuroS&P'24, IEEE Security & Privacy’23, USENIX Security’23, DIMVA’22, USENIX Security’22, DIMVA’21, ROOTS’21, SECURECOMM’21, DIMVA’20, ROOTS’20, ROOTS’19, ROOTS’18

Reviewer: ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Computers, IEEE Access