ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks

摘要     论文提出了一种动态的分析工具，可以保护智能合约在执行期间不被利用。它检测新漏洞的能力可以被所谓的“攻击模式”（attack pattern）所扩展。这种模式用特定领域的语言来编写，这种语言专门用来执行以太坊智能合约的模型，还可以用来描述恶意的控制和数据流。此外，还提出了一种新的机制来简化和加快管理攻击模式的过程。 模式pattern通过一个智能合同被投票和存储，从而利用了区块链提供的

>>阅读原文<<