吳道遠教授榮獲網絡與分布式系統安全會議（NDSS）2025「傑出論文獎」

計算機科學及工程學系研究助理教授吳道遠於2月24日至28日在美國加州聖地牙哥舉行的2025年網絡與分布式系統安全會議（NDSS）上榮獲「傑出論文獎」。這是本港大學研究人員首次在該國際會議上獲得此殊榮。

獲獎論文題為「PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation」，合作者包括來自新加坡管理大學、MetaTrust Labs及南洋理工大學的研究人員。論文提出了PropertyGPT，一個利用大語言模型來實現智能合約形式化驗證自動化的突破性工具。

透過將現有的人工編寫的屬性嵌入到向量資料庫中，研究團隊開發了一種為未知合約代碼產生定制屬性的方法。這項創新研究滿足了自動化屬性產生的關鍵需求，增強了用於管理大量加密貨幣資產的智能合約的安全性。研究結果顯示，PropertyGPT可以實現高至80%的召回率，並成功識別漏洞，展示了其對網路安全領域的潛在影響力。

NDSS於1993年首次舉辦，被譽為全球四大網絡安全會議之一。2025年的NDSS吸引了來自全球近700名研究人員和從業人員參與，共同探討網絡安全研究領域的最新研究成果和發展趨勢。