返回会议列表
CCF中国软件大会区块链可靠性论坛

CCF中国软件大会区块链可靠性论坛

会议时间
2025年11月30日星期日
开始时间: 09:00
举办地点
武汉国际会议中心 二楼荆玉厅210
主办方
中国计算机学会(CCF)

标签

形式化验证区块链

会议简介

区块链技术在金融、供应链、物联网、数字身份等领域的广泛应用,极大推动了去中心化系统的发展。然而,区块链系统的可靠性仍然面临诸多挑战,包括共识协议的安全性与效率权衡、智能合约的漏洞与可验证性、跨链互操作的稳定性、去中心化存储的可用性、节点容错能力及抗攻击能力等。如何构建高可靠性的区块链基础设施,保障区块链系统在复杂环境下的稳健运行,成为当前学术界和产业界共同关注的核心议题。

区块链可靠性技术论坛 旨在围绕区块链系统的可靠性评估与优化展开深入研讨,邀请来自分布式系统、安全工程、软件测试、数据管理、人工智能等多个领域的顶级专家学者,共同探讨区块链可靠性技术的关键问题。论坛将涵盖区块链共识机制安全性分析、智能合约形式化验证、抗攻击区块链架构设计、去中心化存储可靠性优化、区块链系统自动化测试等方向,推动跨学科协同创新,助力区块链技术的高质量发展。

欢迎来自计算机科学、网络安全、软件工程、数据科学、密码学等学科的专家学者参与,共同探索区块链可靠性技术的发展路径,促进学术研究与产业应用的深度融合。

论坛组织委员会

郑子彬(中山大学) 李戈(北京大学) 刘杨(南洋理工大学) 刘名威(中山大学) 王焱林(中山大学)

会议议程

🗓 会议议程

时间题目报告嘉宾
09:00–09:05开场
09:05–09:35报告1:多模态融合的智能服务监管系统邱砚 教授 · 中南大学
09:35–10:05报告2:智能合约安全技术漫谈张鹏程 教授 · 河海大学
10:05–10:35报告3:基于大模型的智能合约访问控制漏洞检测与 Gas 优化鲍凌峰 副教授 · 浙江大学
10:35–10:50茶歇
10:50–11:20报告4:区块链治理实践中的可靠性挑战李超 副教授 · 北京交通大学
11:20–11:50报告5:面向以太坊客户端的可靠性研究贺宁宇 研究助理教授 · 香港理工大学
11:50–12:20报告6:BrokerChain 公链测试网的稳定性与可靠性黄华威 教授 · 中山大学