SmartEmbed: A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding 本文提出了一个名为SMARTEMBED的Web服务工具，该工具基于深度学习的代码嵌入和相似性检查技术，通过比较以太坊区块链中现有Solidity代码的代码嵌入向量与已知错误之间的相似性，来帮助 Solidity 开发人员在智能合约中查找重复的合约代码和克隆相关的漏洞 2020-08-06 智能合约 Smart Contract
ETHBMC: A Bounded Model Checker for Smart Contracts 本文设计并实现了基于符号执行（symbolic execution）的边界模型检查器（a bounded model checker）——ETHBMC，它提供了一种以太坊网络的精确模型 2020-07-12 智能合约 Smart Contract 符号执行
ContractFuzzer:Fuzzing Smart Contracts for Vulnerability Detection 本文提出了一种新的模糊测试工具：ContractFuzzer，它能够根据智能合约的ABI规范生成模糊测试输入，定义检测安全漏洞的测试预言（test oracle），通过对以太坊虚拟机（EVM）插桩记录智能合约的运行时状态，分析日志并报告安全漏洞。通过实验，作者对6991份智能合约的检测已经发现了459个高精确度的漏洞。 2020-06-22 智能合约 Smart Contract 模糊测试
Order Matters: Semantic-Aware Neural Networks for Binary Code Similarity Detection 本文介绍了一个使用神经网络进行二进制代码相似度检测的工作。首先对二进制代码上基本块+控制流图的表示方式，作者首先提出了一个语义表示 + 结构表示。 2020-06-22 智能合约 Smart Contract 深度学习
