返回会议列表

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 公链测试网的稳定性与可靠性 | 黄华威 教授 · 中山大学 |