论文阅读
一些杂七杂八的论文
Reanon
这个作者很懒,什么都没留下…
展开
-
Slither: A Static Analysis Framework For Smart
Slither: A Static Analysis Framework For Smart论文标题:Slither:智能的静态分析框架;补充阅读:Slither: The Leading Static Analyzer for Smart Contracts工具开源:Slither, the Solidity source analyzer,也是以太坊官方推荐的另一款静态智能合约分析工具之一。论文引用:Feist J, Grieco G, Groce A. Slither: a static an原创 2020-10-28 21:29:31 · 1173 阅读 · 2 评论 -
ETHBMC: A Bounded Model Checker for Smart Contracts
ETHBMC: A Bounded Model Checker for Smart Contracts论文链接:https://www.usenix.org/conference/usenixsecurity20/presentation/frank论文题目:ETHBMC 智能合约的边界模型检查器参考文献:Frank J, Aschermann C, Holz T. {ETHBMC}: A Bounded Model Checker for Smart Contracts[C]//29th {USEN原创 2020-09-01 20:23:22 · 739 阅读 · 0 评论 -
ContractFuzzer速览
ContractFuzzer速览论文标题:ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection论文链接:ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection开源地址:gongbell/ContractFuzzer: The Ethereum Smart Contract Fuzzer for Security Vulnerability D原创 2020-09-01 20:14:42 · 1499 阅读 · 0 评论