iiinova — where your digital self keeps evolving

Stefan Nagy

@snagycs.bsky.social

139 followers 110 following 14 posts

Faculty @utah.edu. My lab hunts bugs: futures.cs.utah.edu/bugs. Mastodon: snagy@infosec.exchange Twitter: @snagycs

Posts Replies Media

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