NDSS
文章平均质量分 91
Yiru Zhao
学无止尽
展开
-
论文阅读_TASE: Reducing Latency of Symbolic Execution with Transactional Memory
作者: Adam Humphries,Kartik Cating-Subramanian,Michael K. Reiter出处:NDSS2021背景 符号执行的速度一直是一个很大的问题,很多研究认为SMT求解和状态爆炸是符号执行的瓶颈。但是作者发现某些情况下,执行的速度慢是约束表达式收集的时候慢,并且是由具体执行造成的。因为大多数的符号执行工具即使是用具体值执行也会对目标程序进行解释。之所以要解释,是因为我们要追踪符号变量,沿着执行路径收集符号约束。但是作者在openssl这个程序中发现只有2.7原创 2022-05-03 11:25:40 · 240 阅读 · 0 评论 -
Fuzzing论文:Reinforcement Learning-based Hierarchical Seed Scheduling for Greybox Fuzzing
Reinforcement Learning-based Hierarchical Seed Scheduling for Greybox Fuzzing整体内容论文题目Reinforcement Learning-based Hierarchical Seed Scheduling for Greybox Fuzzing工具名称IAFL-HIER AFL+±HIER论文来源NDSS 2021一作Jianhan Wang (University of Califo原创 2021-07-26 21:39:20 · 1996 阅读 · 11 评论 -
IoTSAFE:Enforcing Safety and Security Policy with Real IoT Physical Interaction Discovery
IoTSAFE:Enforcing Safety and Security Policy with Real IoT Physical Interaction Discovery背景背景知识相关工作本文工作:问题陈述挑战:威胁模型论文题目IoTSAFE:Enforcing Safety and Security Policy with Real IoT Physical Interaction Discovery工具名称IoTSAFE论文来源NDSS 2021一作We原创 2021-07-23 17:25:23 · 785 阅读 · 3 评论