Dr. Daoyuan Wu Receives Distinguished Paper Award at the NDSS Symposium 2025

The CSE proudly congratulates Dr. Daoyuan Wu, our Research Assistant Professor, for his paper titled "PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation." Dr. Wu's exceptional research has earned him the Distinguished Paper Award at the Network and Distributed System Security (NDSS) Symposium 2025, marking the first time a Hong Kong university has received this prestigious recognition at NDSS.

The award-winning paper presents PropertyGPT, a groundbreaking tool that leverages large language models (LLMs) to automate the formal verification of smart contracts. By embedding existing human-written properties into a vector database, the team developed a method to generate customized properties for unknown code. This innovation addresses the critical need for automated property generation, enabling enhanced security for smart contracts that manage significant cryptocurrency assets. The research demonstrates that PropertyGPT can achieve an impressive 80% recall rate and successfully identify vulnerabilities, showcasing its potential impact on the cybersecurity landscape.

NDSS is one of the top four cybersecurity conferences, serving as a premier forum for knowledge exchange among researchers and practitioners in network and distributed system security.

Congratulations to Dr. Wu on this outstanding achievement!

For more details, visit: NDSS Symposium