🔍 Concolic Testing - matmat · Scour

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution ✨Effect Handlers

arxiv.org·2d·

Validating Hare’s Sort Module using Symbolic Execution ⚔️Lean Tactics

notes.8pit.net·7h·Lobsters·

Fuzzing to Zero-Day: Pwning V8CTF With TurboFan Type Confusion, CVE-2025-2135 🔓Decompilation

zellic.io·3d·Hacker News·

soak testing a desktop app in zig 🧪Property-Based Testing

enopdf.com·22h·Hacker News, r/Zig, r/programming·

The Third Bit: Current Projects 🖥️Terminal Renaissance

third-bit.com·1d·

The Type Theorists need to take a look at Zig 💻Programming languages

pure-systems.org·6d·Hacker News·

April 1, 2026 🌊Stream Ciphers

the grugq's newsletter via buttondown.com·1d·

PSFuzz: Rethinking Web Fuzzing in the Age of AI 🧪Archive Fuzzing

infosecwriteups.com

·4d·

Sandra Stern’s Brutally Candid and Surprisingly Optimistic Exit Interview 🗃archives

hollywoodreporter.com

·3d·

Detecting and Mitigating Flakiness in REST API Fuzzing 🧪Binary Fuzzing

arxiv.org·2d·

SAGE: Sink-Aware Grounded Decoding for Multimodal Hallucination Mitigation 🧠Neural Codecs

arxiv.org·2d·

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels ✨Effect Handlers

arxiv.org·6d·

Multi-target Coverage-based Greybox Fuzzing 🧪Binary Fuzzing

arxiv.org·6d·

Loading more...