摘要: Precise Attack Synthesis for Smart Contracts UCSB & University of Washington 智能合约是在区块链平台上运行的程序。它们通过定义良好的接口相互交互,以在没有可信第三方的分布式系统中执行金融交易。但是这些接口也为攻击者提供了有利 阅读全文
posted @ 2019-02-19 17:41 窗明几净 阅读(366) 评论(0) 推荐(0) 编辑