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

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

页面内容
最近文章

• 使用 Deptective 调查您的依赖项
• 系好安全带，Buttercup，AIxCC 的评分轮正在进行中！
• 将您的智能合约成熟度提升至超越私钥风险
• Go 解析器中意想不到的安全陷阱
• 我们从评审 Silence Laboratories 的 23 个库中的第一个 DKL 中学到了什么

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