爲了挖掘智能合約的漏洞來拆解以太坊（USENIX 2018）

原文提出一種能夠自動檢測智能合約漏洞的工具，而且講述了大體的設計思路（能夠拆分不一樣多種方法使用） 像比特幣這樣的加密數字貨幣不只提供去中心化的貨幣流通，還給交易提供程序化方法。以太坊，緊接着比特幣第二大的加密數字貨幣，它是首先提出用圖靈完備語言去列舉交易過程，所以能被稱爲智能合約。這就爲攻擊者提供很好的目標，由於安全漏洞常常跟隨着金融目標。在這篇論文裏，咱們考慮智能合約漏洞自動識別和漏洞生成這樣

>>阅读原文<<