Publications
(* denotes equal contribution)
2026
- ICSERethinking the Evaluation of Secure Code GenerationIn Proceedings of the 48th International Conference on Software Engineering, Rio de Janeiro, Brazil, 2026
2025
- NeurIPSTemporal Logic-Based Multi-Vehicle Backdoor Attacks against Offline RL Agents in End-to-end Autonomous DrivingIn Proceedings of Thirty-Ninth Conference on Neural Information Processing Systems, San Diego, USA, 2025
- EMNLPProfiler: Black-box AI-generated Text Origin Detection via Context-aware Inference Pattern AnalysisIn Proceedings of The 2025 Conference on Empirical Methods in Natural Language Processing, Suzhou, China, 2025
2024
2023
- ICLRFLIP: A Provable Defense Framework for Backdoor Mitigation in Federated LearningIn Proceedings of the Eleventh International Conference on Learning Representations, Kigali, Rwanda, 2023
2022
2021
- S&PStochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic RewritingIn Proceedings of the 42nd IEEE Symposium on Security and Privacy, Virtual Event, 2021
2020
2019
- OOPSLABDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract InterpretationProceedings of the ACM on Programming Languages, Athens, Greece, 2019