Adrian Herrera

@adrianherrera.bsky.social

544 Followers 384 Following

Security researcher with an interest in formal methods. B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs | Teaching @ Australian National University https://adrian-herrera.com

An iPad with the QUIC-Fuzz paper
Paper title screenshot for "Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis"
Paper title screenshot for "Synthesis of Code-Reuse Attacks from p-code Programs"
Fuzzer waste vs. coverage from “Predictive Context-sensitive Fuzzing”
Bluetooth basic block coverage from “To Boldly Go Where No Fuzzer Has Gone Before: Finding Bugs in Linux’ Wireless Stacks through VirtIO Devices”
Example LLM prompt from “From One Thousand Pages of Specification to Unveiling Hidden Bugs: Large Language Model Assisted Fuzzing of Matter IoT Devices”
Linux kernel UAF stats from “CountDown: Refcount-guided Fuzzing for Exposing Temporal Memory Errors in Linux Kernel”
CVE reporting stats from “SoK: Prudent Evaluation Practices for Fuzzing”