摘要：
Abstract 背景：Control-flow hijacking控制流劫持攻击利⽤内存损坏漏洞->基于Control-Flow Integrity(CFI)的防御 本文： 系统比较各种CFI机制，包括 使⽤统⼀命名法⽐较了⼴泛的 CFI 机制，进行了以下比较： 概念安全保证的定性讨论(a qua 阅读全文
摘要：
Abstract 本文：Entropic 方法：灰盒模糊测试 特点：引入最大熵来power schedule 实验： 合并入LibFuzzer，能够在超过25000台机器上不间断实时运行 在多达250个开源项目上都有较大的收益 阅读全文
摘要：
Abstract 本文认为除了分支覆盖率还应考虑执行分⽀的分布（即均匀性）。也就是说，只有当⽣成的输⼊不仅触发了许多不同的分⽀，⽽且还经常通过不同的输⼊均匀地触发它们时，才会给出行为多样性。 本文： BeDivFuzz，生成式，语法，结构突变 特点：考虑并偏向分支均匀性 效果： 测试集：Ant、Ma 阅读全文
摘要：
Abstract 背景： 一些问题：fuzzer提供了哪些无bug的保证？什么时候可以安全地停⽌？fuzzer应该运行多⻓时间才能达到⾜够的覆盖 本文建立通用框架讨论 评估剩余风险 成本效益权衡 阅读全文
摘要：
Abstract 背景：例如，上传照片时，app可能已经将地址信息泄露给云服务商 任务：android app静态UI代码分析框架 本文：BACKSTAGE 方法：将UI元素与调用联系起来，分析actions和敏感API 阅读全文
摘要：
Abstract 背景： Pool-based active learning (AL)目的在于优化注释过程 问题：人工注释者可能会有注释错误或者疲劳，可能不愿意响应 为此，提出的新主动学习AL策略有以下特点之一 对人工注释进行建模，考虑专家不在场的情况 generalization of the 阅读全文
摘要：
Abstract 本文将Human-in-the-loop在机器学习领域已有的工作分类为 数据处理 the work of improving model performance from data processing 干涉模型 through interventional model train 阅读全文
摘要：
Abstract 前提： 目标 1. 在最短的时间内达到对程序正确性的给定程度的置信度x 2. 在给定的时间范围内发现最⼤数量的错误 本文： study the relative efficiencies of the random and systematic approaches to auto 阅读全文