理论研究
p4ndat
这个作者很懒,什么都没留下…
展开
-
精读:Coverage-based greybox fuzzing as markov chain
00 — Begin和老五聊的比较久,最终还是答应他努力把自己平时的一些总结发在九零不是不愿意发,而是感觉自己太菜,但是九零刚使用新论坛,内容欠缺,我也只能凑个数本篇论文名为《Coverage-based greybox fuzzing as markov chain》,有三位作者:Marcel BöhmeComputer Science, National University of...原创 2019-06-27 12:42:50 · 1647 阅读 · 0 评论 -
精读:CollAFL: Path Sensitive Fuzzing
0x00 — Begin本篇论文名为《CollAFL: Path Sensitive Fuzzing》,为S&P 2018 顶会论文AuthorsShuitao Gan, State Key Laboratory of Mathematical Engineering and Advanced ComputingChao Zhang, Tsinghua University...原创 2019-06-27 12:44:30 · 1342 阅读 · 1 评论 -
精读:REDQUEEN: Fuzzing with Input-to-State Correspondence
00 - About作者:Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik and Thorsten Holz01 – Why近年来,基于模糊的抽象自动化软件测试经历了一次复兴,特别是反馈驱动模糊以其在有限输入语料库下高效地进行随机测试的能力而闻名(such afl)。尽管取得了许多进展,但有两个常见的问...原创 2019-06-27 12:45:53 · 1716 阅读 · 0 评论