为了挖掘智能合约的漏洞来拆解以太坊（USENIX 2018）

原文提出一种能够自动检测智能合约漏洞的工具，而且讲述了大体的设计思路（能够拆分不一样多种方法使用） 像比特币这样的加密数字货币不只提供去中心化的货币流通，还给交易提供程序化方法。以太坊，紧接着比特币第二大的加密数字货币，它是首先提出用图灵完备语言去列举交易过程，所以能被称为智能合约。这就为攻击者提供很好的目标，由于安全漏洞常常跟随着金融目标。在这篇论文里，咱们考虑智能合约漏洞自动识别和漏洞生成这样

>>阅读原文<<