宣布首届智能合约分析国际研讨会

摘要

Trail of Bits 与北亚利桑那大学联合筹办首届智能合约分析国际研讨会 WoSCA 2020（与 ISSTA 2020 同地举办），议题涵盖基于分析的漏洞发现、可靠验证、代码优化与反编译等，投稿截止延至 2020 年 6 月 26 日。