🐛 Fuzzing - mary.boulos

🧪Antithesis Academic

arxiv.org·

Less-relevant results

Midstall/heimdall: Post-silicon hardware verification suite for FPGA's and CPU's

🧪Antithesis Code

github.com··Hacker News

Fuzz testing

🎲Deterministic Testing Discussion

ziggit.dev·

Property-based testing | Liam DeVoe

⚗️Property-Based Testing

tybug.dev··Hacker News

The Firefox security harness that fixed 271 bugs no one had found for years

🧪Antithesis

ppc.land·

Humans in the LLM Loop

✅Formal Verification

derickrethans.nl··Hacker News

Anthropic’s too-scary-to-release AI hacking tool is actually coming out — kind of

🧪Antithesis

androidauthority.com··Cited by 2 articles

How Aviv Yahav became one of security’s most referenced independent researchers — TFN

💥Fault Injection

techfundingnews.com·

DIG: Oracle-Guided Directed Input Generation for One-Day Vulnerabilities

🎲Deterministic Testing Academic

arxiv.org·

Comp.compilers: An Empirical Comparison of General Context-Free Parsers

📐Linearizability

compilers.iecc.com·

Understanding attenuated positive facial expression in depressed women: central role of dorsal raphe network alterations and associated serotonin transporter methylation

📐Linearizability Academic

nature.com·

With great AI power comes the need for zero trust responsibility

🌪️Chaos Engineering Blog

hashicorp.com·

17 real security bugs in 10 weeks, all from an AI scanner

🧪Antithesis

lalitm.com··Lobsters·Cited by 1 article

Ported my C game to WASM, here's everybug that I hit

🎲Deterministic Testing

ernesernesto.github.io··Hacker News, r/programming

MSVC Build Tools Preview updates – June 2026

🧪Antithesis Blog

devblogs.microsoft.com·

Learning Regular Languages with the TTT Algorithm

✅Formal Verification

rahul.gopinath.org··Lobsters, Hacker News

justhamade/triadjs: Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and testing are a single source of truth.

📐Linearizability Code

github.com··Hacker News

AI Code Sandboxes: A Comparative Security Study. Part 1 of 2 -- Engine-Level Properties (Attack Surface, Leakage, Stackability, CVE History, Patch Cadence, Fuzzing)

🧪Antithesis Academic

arxiv.org·

Static Code Analysis and the Rules of Zero, Three, and Five

📐Linearizability Blog

blog.jetbrains.com·

47 seconds of fuzzing in CI

GapFuzz: Cross-Plane Divergence Fuzzing for Distributed SDN Controllers

Midstall/heimdall: Post-silicon hardware verification suite for FPGA's and CPU's

Fuzz testing

Property-based testing | Liam DeVoe

The Firefox security harness that fixed 271 bugs no one had found for years

Humans in the LLM Loop

Anthropic’s too-scary-to-release AI hacking tool is actually coming out — kind of

How Aviv Yahav became one of security’s most referenced independent researchers — TFN

DIG: Oracle-Guided Directed Input Generation for One-Day Vulnerabilities

Comp.compilers: An Empirical Comparison of General Context-Free Parsers

Understanding attenuated positive facial expression in depressed women: central role of dorsal raphe network alterations and associated serotonin transporter methylation

With great AI power comes the need for zero trust responsibility

17 real security bugs in 10 weeks, all from an AI scanner

Ported my C game to WASM, here's everybug that I hit

MSVC Build Tools Preview updates – June 2026

Learning Regular Languages with the TTT Algorithm

justhamade/triadjs: Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and testing are a single source of truth.

AI Code Sandboxes: A Comparative Security Study. Part 1 of 2 -- Engine-Level Properties (Attack Surface, Leakage, Stackability, CVE History, Patch Cadence, Fuzzing)

Static Code Analysis and the Rules of Zero, Three, and Five