Skip to main navigation Skip to search Skip to main content

Distinguished Paper Award at NDSS Symposium 2025 (Non-LU)

  • LIU, Ye (Recipient), XUE, Yue (Recipient), WU, Daoyuan (Recipient), SUN, Yuqiang (Recipient), LI, Yi (Recipient), SHI, Miaolei (Recipient) & LIU, Yang (Recipient)

Prize: Prize (CDCF)

Description

The Network and Distributed System Security (NDSS) Symposium 2025 was held from 24 to 28 February 2025 in San Diego, California.
The award-winning paper titled “PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation”.
Awarded dateFeb 2025
Degree of recognitionInternational
Granting OrganisationsNetwork and Distributed System Security (NDSS)

Awarded at event

Event titleNetwork and Distributed System Security (NDSS) Symposium 2025
LocationSan Diego, United StatesShow on map
Period24 Feb 2025 → 28 Feb 2025

    Fingerprint

Documents & Links