在Trail of Bits，我们不仅从事安全审计工作：还不断突破漏洞检测工具的研究边界，定期在学术会议上展示成果，并评审其他研究人员的优秀论文（参见我们近期对Real World Crypto和Financial Crypto的综述）。

秉承这一理念，我们与北亚利桑那大学共同筹办首届智能合约分析国际研讨会(WoSCA 2020)。本次研讨会将与ISSTA 2020同期举行，汇聚全球研究者探讨智能合约的静态与动态分析方法，包括但不限于：

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

WoSCA 2020积极倡导开放可复现的研究，特别欢迎关于改进现有工具或提出新工具的论文投稿！

论文提交（最长8页）截止日期延长至2020年6月26日（AoE时区）。另请注意：我们仍在接收"10k Crytic研究奖金"的申请，该奖项专门奖励基于我们区块链工具开发的学术论文。

（社交媒体分享图标：Twitter/LinkedIn/GitHub/Mastodon/Hacker News）

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