关于以太坊智能合约漏洞的论文

下面是Arxiv上一篇最新的分析以太坊智能合约漏洞的论文，用一种成为MAIAN的工具分析扫描了100万份智能合约，其中10秒内有34200份(其中2365份独立)被标记为为易受攻击的。随后对从其中随机抽样选出的3759个合约的子集分析，得到true positive rate为89%。文中还指出他们的方法能够提早发现Parity的bug，看来目前智能合约的安全性还有待提高，希望新的如formal verification这些方法能够对这方面有所改进。

https://arxiv.org/pdf/1802.06038.pdf