Stefan Nagy
@snagycs.bsky.social
Faculty @utah.edu. My lab hunts bugs: https://futures.cs.utah.edu/bugs. Mastodon: snagy@infosec.exchange Twitter: @snagycs
En route to Montreal 🇨🇦 #FSE2026! On Wednesday, FuTURES³ Lab researchers @yeaseen.bsky.social, @zaoyang.bsky.social, and @gabriel-sherman.bsky.social will present their 3 papers on invariant-guided binary fuzzing, LLM-driven transpiler testing, and Python auto-harnessing. Links: futures.cs.utah.edu
Super proud of the FuTURES³ Lab and everything we accomplished in 2025, and excited for what’s ahead in 2026! Check out our work at futures.cs.utah.edu. 😃
Awesome to see @yeaseen.bsky.social's work on transpiler testing recognized by the Go2Hx dev community! community.haxe.org/t/go2hx-work-in-progress/2821/24#p-14532-research-paper-review-1 😁 Interested in improving transpilers? Check out our fuzzer TeTRIS! github.com/FuturesLab/TeTRIS
Go2hx Work in Progress
@back2dos Thanks for the kind words! Your points are well reasoned, I think it is indeed paradoxically less ambitious. Though go2hx already use’s Go’s frontend, building a Go backend first to bootstra...
community.haxe.org
Transcompiler lost in translation? Let TeTRIS uncover all its syntax frustrations! Happy to share my #ACSAC paper w/@snagycs.bsky.social:"TeTRIS: General-purpose Fuzzing for Translation Bugs in Source-to-Source Transpilers"! PDF: futures.cs.utah.edu/papers/25ACS... Code: github.com/FuturesLab/T...
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/...
Super psyched to unveil GUIFuzz++: our grey-box fuzzer for desktop GUI applications, led by FuTURES³ Lab undergraduate researchers Dillon Otto and @trowlett0.bsky.social. Coming soon to ASE 2025! futures.cs.utah.edu/papers/25ASE... github.com/FuturesLab/G...
futures.cs.utah.edu
Tanner Rowlett@trowlett0.bsky.social · 12mo agoFuzzing GUIs shouldn’t be harder than fuzzing files. That's why I am excited to share my first paper (w/ fellow undergrad Dillon Otto + @snagycs.bsky.social) "GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications" at #ASE25.
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!
Fuzzing GUIs shouldn’t be harder than fuzzing files. That's why I am excited to share my first paper (w/ fellow undergrad Dillon Otto + @snagycs.bsky.social) "GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications" at #ASE25.
Curious about fuzzing but don't know where to start? I wrote my first blog post on how to choose your target, build an AFL++-compatible harness, and avoid common pitfalls. Check it out: gabe-sherman.github.io/2025-09-17-b...
Harnessing 101: A Beginner's Guide to Fuzzing Harnesses | Gabriel Sherman
As a newcomer to the computer security world working on my first paper, No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses, I inevitably spent countless hours...
gabe-sherman.github.io
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...
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
Happy to share my upcoming #ATC25 paper w/ @snagycs.bsky.social: "BIN2WRONG: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers"! Bin2Wrong creates binaries by mutating source, compiler, optimizations, and format—revealing 48 new bugs in 7 decompilers! 💪
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!
✈️ I'll be at @icseconf.bsky.social this week — find me if you'd like to chat about all things fuzzing / binary analysis!
Today, we’re honoring the lives of the 32 Hokies who were tragically taken from their loved ones and the Virginia Tech community on April 16, 2007. On the 2025 Day of Remembrance, we're honoring the lasting impact they continue to have on our world. #VTWeRemember 🧡
[RSS] What could cause a memory corruption bug to disappear in safe mode? devblogs.microsoft.com -> Original->
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! 🐛
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!
