宣布首届智能合约分析国际研讨会 - The Trail of Bits博客

Gustavo Grieco
2020年4月23日
区块链, 会议, 研究实践

在Trail of Bits，我们不仅进行安全审计：还推动漏洞检测工具的研究边界，定期在学术会议上展示工作，并评审其他研究人员的有趣论文（参见我们最近的Real World Crypto和Financial Crypto回顾）。

本着这种精神，我们与北亚利桑那大学很高兴共同组织首届智能合约分析国际研讨会（WoSCA 2020）。与ISSTA 2020同期举办，我们的研讨会将汇聚全球研究人员，讨论分析智能合约的静态和动态方法。涵盖但不限于：

• 基于分析的漏洞发现（例如基于启发式的静态分析、模糊测试）
• 健全分析（例如模型检测、时序逻辑）
• 代码优化（例如代码大小减少、Gas成本估算）
• 代码理解（例如反编译、逆向工程）
• 代码监控（例如调试、故障检测）
• 中间表示（例如设计、规范）

WoSCA 2020还积极推广开放和可重现研究。我们特别鼓励提交展示如何改进现有工具或提出新工具的论文！

在2020年5月22日（AoE）前提交您的论文（最多8页）。截止日期延长至2020年6月26日（AoE）！

别忘了：我们仍在接受10k Crytic研究奖的提交，该奖项表彰围绕或基于我们区块链工具发表的学术论文。参与进来！

如果您喜欢这篇文章，请分享：
Twitter | LinkedIn | GitHub | Mastodon | Hacker News

页面内容
近期文章
我们构建了MCP一直需要的安全层
利用废弃硬件中的零日漏洞
Inside EthCC[8]：成为智能合约审计员
使用Vendetect大规模检测代码复制
构建安全消息传递很难：对Bitchat安全辩论的细致看法

© 2025 Trail of Bits.
使用Hugo和Mainroad主题生成。