吴道远教授荣获网络与分布式系统安全会议（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名研究人员和从业人员参与，共同探讨网络安全研究领域的最新研究成果和发展趋势。