Gabriel Sherman's Avatar

Gabriel Sherman

@gabriel-sherman.bsky.social

Ph.D. Student at the University of Utah | Computer Security https://gabe-sherman.github.io/

47 Followers  |  28 Following  |  2 Posts  |  Joined: 17.03.2025  |  1.284

Latest posts by gabriel-sherman.bsky.social on Bluesky

Post image

Check it out!
📄 Paper: futures.cs.utah.edu/papers/25ATC.pdf
🛠️ Bin2Wrong: github.com/FuturesLab/Bin2Wrong
💥Some impacts of bugs Bin2Wrong found: binary.ninja/2024/06/19/restructuring-the-decompiler.html

#fuzzing #decompilation

22.05.2025 20:04 — 👍 1    🔁 2    💬 0    📌 0
Post image

OGHarn mutationally generates harnesses and uses 3 oracles of behavior to determine both their utility and validity, leading to the discovery of 41 new bugs(with zero false-positive crashes)!

Paper: futures.cs.utah.edu/papers/25ICS...
Source: github.com/FuturesLab/O...

Happy Fuzzing! 🐛

17.03.2025 18:52 — 👍 9    🔁 3    💬 0    📌 0

Need a fuzzing harness? No time to write one? Tired of false-positives? Let OGHarn lead the way to bug discovery!🐞

I'm excited to share my paper(with @snagycs.bsky.social)"No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses" at @icseconf.bsky.social 2025!

17.03.2025 18:52 — 👍 17    🔁 6    💬 1    📌 0

@gabriel-sherman is following 20 prominent accounts