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: snagy@infosec.exchange
Twitter: @snagycs
Reposted by Stefan Nagy
GUIFuzz++ is the first general-purpose fuzzer for desktop GUI software! Fuzzing by translating AFL++ random input into user interaction with GUIs, leading to the discovery of 23 new bugs!

Paper: futures.cs.utah.edu/papers/25ASE.pdf
Source: github.com/FuturesLab/GUIFuzzPlusPlus

Go test some GUIs!
September 24, 2025 at 8:52 PM
It's grey-box by default but also supports black-box fuzzing!
July 9, 2025 at 6:26 PM
Reposted by Stefan Nagy
May 22, 2025 at 8:04 PM
April 30, 2025 at 4:15 PM
Reposted by Stefan Nagy
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! 🐛
March 17, 2025 at 6:53 PM
I will really miss the good ol' days of Twitter. As a grad student it was a go-to place for all things fuzzing/security, and I'm sad to see it fall apart. Having folks spread-out on three platforms (this, Mastodon, and X) will never quite feel the same. 😔
February 21, 2025 at 4:13 PM