ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks

摘要     論文提出了一種動態的分析工具，可以保護智能合約在執行期間不被利用。它檢測新漏洞的能力可以被所謂的「攻擊模式」（attack pattern）所擴展。這種模式用特定領域的語言來編寫，這種語言專門用來執行以太坊智能合約的模型，還可以用來描述惡意的控制和數據流。此外，還提出了一種新的機制來簡化和加快管理攻擊模式的過程。 模式pattern通過一個智能合同被投票和存儲，從而利用了區塊鏈提供的

>>阅读原文<<