2018年5月29日下午，应永利集团304am官方入口邀请，武汉大学国家网络安全学院何德彪教授和苏州链原信息科技有限公司郭宇 CEO做了区块链专题报告。网络与信息安全研究所所长胡东辉主持了报告会。来自学院多个系所的师生、部分外院师生参加了此次报告会。

何德彪教授在报告会上做了题为《密码学在区块链中的应用与工程化》的报告，介绍了武汉大学密码学与区块链技术实验室近几年来在区块链方向所做的一些工作与成果：首先介绍了区块链技术在数字货币、物联网、智能制造供应链管理、数字资产交易等多个领域的应用，以及联盟链在隐私保护、合法追踪等方面具有的巨大优势，其次介绍了他们设计并实现的群签名、广播加密、零知识证明等关键密码方案，并利用这些方案实现了一个安全高效的联盟链系统。

此后，郭宇 CEO为大家做了名为《区块链、智能合约与安全》的报告。郭宇老师在会上首先讲述了近几年以太坊上发生的重大智能合约漏洞事件——The DAO事件，从而引发大家对于智能合约漏洞问题的关注。接着，郭宇老师从智能合约代码入手，展示了具体案例中合约代码中的漏洞以及可能带来的安全问题，并结合他所领导的SECBIT实验室的研究成果，给出了基于代码审计、基于形式化验证的安全解决方案。

报告完毕后，与会相关教师及学生就报告内容进行了深入交流，提出了自己的问题与疑惑。两位老师以其渊博的专业知识及高瞻远瞩的眼光为大家做出了详实的解答并提出了宝贵的建议。

何德彪，博士，武汉大学国家网络安全学院教授，博士生导师，密码学研究所所长。研究方向为密码算法的设计与似实现。2009毕业于武汉大学数学与统计学院应用数学专业，获理学博士学位。近年来，在IEEE TIFS、IEEE TDSC、Science China-Information Sciences等国内外著名期刊/会议上发表学术论文100余篇。主持国家自然科学基金、国家科技部“网络空间安全”重点专项子课题、教育部博士点基金、湖北省自然科学基金等10余项科研项目。获得教育部自然科学奖一等奖1项；获得国际知名期刊IEEE Systems Journal最佳论文奖1项；担任中国密码学会组织委员会委员、青年工作委员会委员和安全协议专家委员会委员；担任Mathematical Reviews特约评论员；担任IET Wireless Sensor Systems、Journal of Medical Systems、Computers & Electrical Engineering等多个国际知名期刊的编委。

郭宇，SECBIT实验室创始人，中国科学技术大学博士，耶鲁大学访问学者，曾任中国科学技术大学特任副教授，支持并参与过多项国家级重点科研项目，在国际顶级会议与期刊发表论文多篇，研究方向涉及形式化验证、操作系统内核、区块链技术、系统安全等方面。2016年-2017年，任某金融科技公司副总裁、区块链项目负责人，30余项区块链技术专利的核心发明人。2018年创立SECBIT实验室，专注于区块链底层协议与智能合约安全验证理论与技术。