首页> 外文OA文献 >Harvey: a greybox fuzzer for smart contracts

【2h】

Harvey: a greybox fuzzer for smart contracts

机译：Harvey：智能合同的灰卵模糊机

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Valentin Wüstholz; Maria Christakis;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Vulnerable Region-Aware Greybox Fuzzing [J] . Ling-Yun Situ, Zhi-Qiang Zuo, Le Guan, 计算机科学技术学报（英文版） . 2021,第005期

机译：弱势区域感知Greybox模糊
2. Coverage-Based Greybox Fuzzing as Markov Chain [J] . Bohme Marcel, Van-Thuan Pham, Roychoudhury Abhik IEEE Transactions on Software Engineering . 2019,第5期

机译：基于覆盖率的灰箱模糊化为马尔可夫链
3. ContractFuzzer: fuzzing smart contracts for vulnerability detection [J] . Massimiliano Masi Computing reviews . 2019,第12期

机译：ContractFuzzer：对智能合约进行模糊检测以检测漏洞
4. OTA: An Operation-oriented Time Allocation Strategy for Greybox Fuzzing [C] . Xumei Li, Lei Sun, Ruobing Jiang, IEEE International Conference on Software Analysis, Evolution and Reengineering . 2021

机译：OTA：Greybox模糊的操作时间分配策略
5. Smart Contract for P2P Energy Trading in Smart Grids: Ethereum Implementation and Performance Evaluation [D] . Al-Ammari, Maryam Jamal. 2019

机译：智能电网P2P能源交易智能合同：以外型实施和绩效评估
6. IoT Data Qualification for a Logistic Chain Traceability Smart Contract [O] . Mohamed Ahmed, Chantal Taconet, Mohamed Ould, 2021

机译：物流链可追溯性智能合同的IOT数据资格
7. Targeted greybox fuzzing with static lookahead analysis [O] . Valentin Wüstholz, Maria Christakis 2020

机译：有针对性的Greybox模糊，静态看法分析

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号