智能合约安全综述

• 概念梳理
• 智能合约安全审计
• 智能合约漏洞挖掘的未来趋势

智能合约漏洞检测工具oyente

• 工具概述
• 工作原理
• 源码分析
• 扩展尝试
• 局限性和总结

本次组会内容下载链接