在 2017区块链协议分析和安全工程会议定于 2017年1月之前，斯坦福大学网络计划宣布，征集感兴趣的发言者的稿件。
这次会议将探讨形式化方法、 实证分析及风险评估模型的使用，以更好地理解区块链协议中的安全性和系统性风险。
这旨在促进区块链协议、分布式系统、 密码学、 计算机安全和风险管理等领域中各从业人员和研究人员之间的多学科协作。
其中一些话题包括密码系统中的安全工程问题、区块链协议的有效测试以及实现 (模拟、 实验设计、 测试网络等)、 形式化方法和应用于区块链的符号执行和密码系统分析、 设计和形式化验证的加密和共识关键代码。
还有一些是分布式系统和密码系统的设计和分析工具，加密和分布式系统的形式化方法的局限性、密码系统的设计方面：目的/假设、 模型/规范、以及实现、编程语言设计&区块链协议的逻辑&智能合约、区块链世界中固有的系统性风险、协议级安全工程决议的影响、 经济和生产的商业风险和比较实用/风险分析;区块链系统vs它们旨在替代的系统。
论文的截止时间是10月31日至 2016年11月30 日，2016年12月1 日将在美国斯坦福大学Paul Brest大厅举行活动，宣布最后胜出的作者。
这次活动的项目委员有Allison Berke (斯坦福大学)、Dan Boneh (斯坦福大学)、Byron Gibson (企业家、创业顾问)、Emin Gün Sirer (康奈尔大学，IC3) 和Peter Todd (比特币核心)。
译者：价值区块链Fan 文章来源：http://www.blockvalue.com/event/11711.html 原文链接：https://www.cryptocoinsnews.com/stanford-university-to-host-blockchain-conference/ 原文作者：Olusegun Ogundeji 特别申明：区块链行业ICO项目鱼龙混杂，投资风险极高；各种数字货币真假难辨，需用户谨慎投资。blockvalue.com只负责分享信息，不构成任何投资建议，用户一切投资行为与本站无关。
相关文章
头条焦点
精彩导读