我的随笔

Proj CMI Paper Reading: Metamorphic Fuzzing of C++ Libraries

雪溯 2022-07-28 20:49 阅读:48 评论:0 推荐:0

Proj CMI Paper Reading: Symbolic Security Predicates: Hunt Program Weaknesses

雪溯 2022-07-28 20:49 阅读:41 评论:0 推荐:0

Proj CMI Paper Reading: An Analysis of C/C++ Datasets for Machine Learning-Assisted Software Vulnerability Detection

雪溯 2022-07-28 20:48 阅读:48 评论:0 推荐:0

Proj CMI Paper Reading: Linear-time Temporal Logic guided Greybox Fuzzing

雪溯 2022-07-28 18:20 阅读:107 评论:0 推荐:0

Proj CMI Paper Reading: Ironclad Apps: End-to-End Security via Automated Full-System Verification

雪溯 2022-07-28 18:13 阅读:32 评论:0 推荐:0

Proj CMI Paper Reading: Verdi: A Framework for Implementing and Formally Verifying Distributed Systems

雪溯 2022-07-28 18:07 阅读:42 评论:0 推荐:0

Proj CMI Paper Reading: Compiler Validation via Equivalence Modulo Inputs

雪溯 2022-07-28 17:49 阅读:74 评论:0 推荐:0

Proj CMI Paper Reading: FuzzBench: An Open Fuzzer Benchmarking Platform and Service

雪溯 2022-07-28 17:04 阅读:72 评论:0 推荐:0

Proj CMI Paper Reading: ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction

雪溯 2022-07-26 18:00 阅读:145 评论:0 推荐:0

Proj CMI Paper Reading: PerfFuzz: Automatically Generating Pathological Inputs

雪溯 2022-07-26 16:53 阅读:66 评论:0 推荐:0