我的随笔

Proj.CMI Paper Reading: SoK: Sanitizing for Security

雪溯 2023-01-09 23:35 阅读:146 评论:0 推荐:0

Proj Unknown Paper Reading: SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

雪溯 2023-01-06 20:37 阅读:116 评论:0 推荐:0

Proj. CRR Paper Reading: Adaptive Restarts for Stochastic Synthesis

雪溯 2022-12-23 04:52 阅读:77 评论:0 推荐:0

Proj. Unknown Paper Reading: ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems

雪溯 2022-12-08 22:01 阅读:33 评论:0 推荐:0

Proj CMI Paper Reading: LAVA: Large-scale Automated Vulnerability Addition

雪溯 2022-10-01 02:46 阅读:47 评论:0 推荐:0

Cannot use non-english characters correctly in your source code, which triggers elusive bugs when calling Windows APIs

雪溯 2022-09-07 03:26 阅读:38 评论:0 推荐:0

Proj CMI Paper Reading: Magma: A Ground-Truth Fuzzing Benchmark

雪溯 2022-07-29 13:36 阅读:162 评论:0 推荐:0

Proj CMI Paper Reading: Vulnerability Detection in C/C++ Source Code With Graph Representation Learning

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

Proj CMI Paper Reading: SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications

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

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

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