协同技术： 安全漏洞安全策略检测技术
应用领域-金融： 交易
技术特征： 安全性有效性
核心技术-加密算法： 时间戳
核心技术-智能合约： 智能合约智能合约安全
核心技术-激励机制： Token
项目平台： Ethereum
面向智能合约漏洞检测的改进符号执行研究
基于符号执行的智能合约漏洞检测方案
基于字节码关键路径的智能合约漏洞检测
基于Ethereum智能合约的安全策略分析
DC-Hunter:一种基于字节码匹配的危险智能合约检测方案
智能合约漏洞检测工具研究综述
