iiinova — where your digital self keeps evolving

Stefan Nagy @snagycs.bsky.social · 06/07/2026

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

110

Stefan Nagy @snagycs.bsky.social · 14/01/2026

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. 😃

000

Stefan Nagy @snagycs.bsky.social · 07/01/2026

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

community.haxe.org

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...

010

Reposted by Stefan Nagy

Yeaseen @yeaseen.bsky.social · 26/11/2025

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...

131

Stefan Nagy @snagycs.bsky.social · 17/11/2025

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/...

083

Stefan Nagy @snagycs.bsky.social · 24/09/2025

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

030

Reposted by Stefan Nagy

Tanner Rowlett @trowlett0.bsky.social · 24/09/2025

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!

11811

Reposted by Stefan Nagy

Tanner Rowlett @trowlett0.bsky.social · 24/09/2025

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.

152

Reposted by Stefan Nagy

Gabriel Sherman @gabriel-sherman.bsky.social · 18/09/2025

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...

gabe-sherman.github.io

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...

001

Stefan Nagy @snagycs.bsky.social · 09/07/2025

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...

121

Stefan Nagy @snagycs.bsky.social · 04/07/2025

I'll be in Boston for #USENIX #ATC25. Reach out if you'd like to meet up to talk fuzzing / binary analysis!

010

Reposted by Stefan Nagy

Zao Yang @zaoyang.bsky.social · 22/05/2025

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

012

Reposted by Stefan Nagy

Zao Yang @zaoyang.bsky.social · 22/05/2025

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! 💪

142

Stefan Nagy @snagycs.bsky.social · 30/04/2025

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!

181

Stefan Nagy @snagycs.bsky.social · 28/04/2025

✈️ I'll be at @icseconf.bsky.social this week — find me if you'd like to chat about all things fuzzing / binary analysis!

031

Reposted by Stefan Nagy

Virginia Tech @virginiatech.bsky.social · 16/04/2025

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 🧡

The April 16 Memorial is pictured in front of Burruss Hall against a blue sky.

03122

Reposted by Stefan Nagy

buherator @buherator.bsky.social · 20/03/2025

[RSS] What could cause a memory corruption bug to disappear in safe mode? devblogs.microsoft.com -> Original->

011

Reposted by Stefan Nagy

Gabriel Sherman @gabriel-sherman.bsky.social · 17/03/2025

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! 🐛

093

Reposted by Stefan Nagy

Gabriel Sherman @gabriel-sherman.bsky.social · 17/03/2025

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!

1176

Stefan Nagy @snagycs.bsky.social · 19/02/2025

Howdy, world. This interface looks oddly familiar...

140