我的随笔

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

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

Proj CMI Paper Reading: From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++

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

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

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

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

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

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

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

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

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

Proj CMI Paper Reading: Compiler Validation via Equivalence Modulo Inputs

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

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

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

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

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

Proj CMI Paper Reading: PerfFuzz: Automatically Generating Pathological Inputs

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