news
| Sep 2026 | I have accepted an invitation to serve as a reviewer for the 1st Workshop on Interpreting Agent Behavior (IAB) at NeurIPS 2026. |
|---|---|
| Aug 2026 | I was interviewed by International Financial News on AI agent safety: Repeated Boundary Violations: Is AI Getting Out of Control?. |
| Apr 2026 | My essay Core Methodology for AI Security Auditing Agents (Part II) is available in Chinese on LearnBlockchain, with the original post on X. |
| Mar 2026 | My essay AI Auditing Methodology: Everything You Need to Know (Part I) is available in Chinese on LearnBlockchain, with the original post on X. |
| Feb 2025 | Our paper “PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation” has won the NDSS 2025 Distinguished Paper award |
| Jan 2025 | Our paper “Smart Contract Fuzzing Towards Profitable Vulnerabilities” has just been accepted by FSE 2025 |
| Jun 2024 | Our paper “Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?” has won the ACM SIGSOFT Distinguished Paper award |