登录
2020.04.14
6518
CSA大中华区区块链安全工作组共识算法安全小组和智能合约小组分别在4月11日和3月19日召开了第一次工作会议。
智能合约小组工作会议由领军人& 安比实验室CEO郭宇主持，参加会议的有耶鲁大学、安比实验室、元界DNA、知道创宇、安永、慢雾、成都链安、Certik等单位的专家成员。
会上，工作组成员孙志鹏首先介绍了智能合约安全标准提纲初稿，参会人员各抒己见，就当前提纲初稿的具体内容进行了详细讨论：
区块链安全工作组组长黄连金指出，合约平台底层安全部分内容尚未囊括在其他小组内容中，可以在智能合约安全标准中作为研究内容体现；
慢雾余弦建议在典型案例部分可以梳理各个漏洞对应的真实案例，或者引用相关风险项对应的参考文献，并且表示团队此前在合约最佳实践、EOS超级节点安全规范、典型安全事件如“假充值”等方面的相关开源工作可以补充至安全标准中；
CertiK倪兆中提出可考虑添加跨链安全、智能合约动态运行时安全等内容；成都链安岳亮亮认为在合约平台底层安全部分可以关注系统内建合约安全；CertiK和成都链安分别介绍了各自在形式化验证领域的研究工作；
安比郭宇提议将形式化验证作为单独一节，从标准、定义、适用范围进行详细论述；
安永郭伟建议安全标准还应该包含智能合约框架性描述，并可考虑从框架各层面分别细化。
小组专家成员（排序不分先后）
|
区块链安全工作组智能合约小组
|
|||
|
序号 |
姓名 |
公司 |
职务 |
|
1 |
郭宇 |
安比实验室 |
CEO |
|
2 |
吴潇 |
天融信 |
专家级安全顾问 |
|
3 |
余弦 |
慢雾科技 |
创始人 |
|
4 |
蒋旭宪 |
Peckshield |
创始人兼CEO |
|
5 |
邵中 |
耶鲁大学 |
计算机科学系系主任 |
|
6 |
倪兆中 |
CertiK |
首席科学家 |
|
7 |
马红杰 |
安永 |
网络安全咨询高级经理 |
|
8 |
郭伟 |
安永 |
高级经理 |
|
9 |
孙志鹏 |
安比实验室 |
智能合约技术负责人 |
|
10 |
张超 |
天融信 |
产品总监 |
|
11 |
贺伟 |
天翼电子商务 |
区块链研究院负责人 |
|
12 |
何伊圣 |
山石网科 |
安全服务部总监 |
|
13 |
贺志生 |
中电科网络空间安全研究院有限公司 |
常务副所长 |
|
14 |
卢艺文 |
安比实验室 |
区块链安全研究员 |
|
15 |
沈余锋 |
天融信 |
总监、专家级安全顾问 |
|
16 |
胡冬 |
若无（上海）信息科技 |
合伙人 |
|
17 |
叶振强 |
慢雾科技 |
业务安全负责人 |
|
18 |
杨霞 |
链安科技 |
技创始人&CEO |
|
19 |
张超 |
天融信 |
产品总监 |
|
20 |
岳亮亮 |
链安科技 | 智能合约业务负责人 |
|
区块链安全工作组共识算法安全小组
|
|||
|
序号 |
姓名 |
公司 |
职务 |
|
1 |
陈钟 |
北京大学 |
北大信息科学技术学院区块链研究中心主任 |
|
2 |
关志 |
北京大学 |
副研究员 |
|
3 |
刘洁 |
奇点汽车 |
IT总监 |
|
4 |
袁运亮 |
德方智链科技 |
技术总监 |
|
5 |
赵勇 |
清数科技 |
董事长兼CTO |
|
6 |
张威 |
上海市信息安全行业协会 |
副主任 |
|
7 |
沈余锋 |
天融信 |
总监、专家级安全顾问 |
|
8 |
刘云鹏 |
天融信 |
高级售前安全顾问 |
|
9 |
李昕 |
焜耀网络科技 |
CTO |
|
10 |
冉小波 |
预言机（重庆）科技 |
CEO |
|
11 |
于静 |
金富有投资 |
CEO |
|
12 |
李程 |
天谷信息 |
安全总监 |
|
13 |
徐吉 |
天谷信息 |
安全专家 |
手机：19925407556
邮箱：info@c-csa.cn