![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
论文
念书就像坐牢
万事皆有迹可循
展开
-
[论文02]ZEUS Analyzing Safety of Smart Contracts
ZEUS: Analyzing Safety of Smart Contracts0.ABSTRACT1. introdution贡献 :happy:分类已知或者之前发现但为研究漏洞,报告可能会带来的金钱损失。❓本文结合抽象解释和符号模型检测,提出了一种用于验证智能合约的实体性执行语义的形式抽象ZEUS: 抽象解释和符号模型检查的框架,首次建立solidity到llvm字节码的转换器,并且通过已给策略自动插桩。 建立谓词提取工具,使多方交互变的容易检验结果,但未调查这些错误的实际可利用性。原创 2020-11-29 15:41:09 · 1020 阅读 · 0 评论 -
论文02 security
securify的安全模式securifysecurify的安全模式1. Securify Language1. 语法2. 语义3. securify的属性和模式:confused:3.1 Ether Liquidity(LQ)2. NoWrites After Calls (NW)3. Restricted Writes(RW)附附加知识bnf范式a. [BNF范式(巴科斯范式)简介](https://www.cnblogs.com/huiyenashen/p/4445676.html)在此模块作者展原创 2020-11-29 15:21:38 · 575 阅读 · 0 评论 -
[论文01]Smart Contract Vulnerability Analysis and Security Audit
[论文01]Smart Contract Vulnerability Analysis and Security Auditintroduction本文对以太坊智能合约的各种漏洞进行了调查,并提出了相应的防御机制来应对这些漏洞。特别地,我们关注类Fomo3d游戏合同中的随机数漏洞(radom number vulnerability),以及所应用的攻击和防御方法。最后,对现有的以太智能合同安全审计方法进行了总结,并从不同角度对几种主流审计工具进行了比较。以太坊智能合约漏洞由于以太坊智能合约一经部原创 2020-10-28 09:54:08 · 758 阅读 · 1 评论