news
| Feb 27, 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 18, 2025 | Our paper “Smart Contract Fuzzing Towards Profitable Vulnerabilities” has just been accepted by FSE 2025 |
| Jun 22, 2024 | Our paper “Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?” has won the ACM SIGSOFT Distinguished Paper award |