Stefan Nagy
banner
snagycs.bsky.social
Stefan Nagy
@snagycs.bsky.social
Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: [email protected]
Twitter: @snagycs
Crashing calculators and CAD editors? GUIFuzz++ is finally here to help make them better! 🔥

Come see my undergraduate student @trowlett0.bsky.social's very first paper "GUIFuzz++" at @aseconf.bsky.social this Wednesday.

Also now integrated in @aflplusplus.bsky.social! 😃
github.com/AFLplusplus/...
November 17, 2025 at 9:02 PM
Fantastic job by my student @zaoyang.bsky.social presenting his decompiler fuzzing work Bin2Wrong at USENIX ATC! 🔥

Paper: futures.cs.utah.edu/papers/25ATC...
Slides: futures.cs.utah.edu/papers/25ATC...
Code: github.com/FuturesLab/B...
Impacts of Bin2Wrong-found bugs: binary.ninja/2024/06/19/r...
July 9, 2025 at 2:44 PM
Awesome job by my PhD student @gabriel-sherman.bsky.social presenting his work on Oracle-guided C Fuzzing Harness Generation! @icseconf.bsky.social

TLDR; 41 new bugs (40 now patched)... with 0 false positives!
April 30, 2025 at 4:15 PM