Stefan Nagy

141 Followers
119 Following
49 Posts
Faculty @ University of Utah.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Bluesky: http://snagycs.bsky.social
Twitter: @snagycs
Hompeagehttps://cs.utah.edu/~snagy
Grouphttps://softsec.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 https://futures.cs.utah.edu. 😃

Crashing calculators and CAD editors? GUIFuzz++ is finally here to help make them better! 🔥

Come see my undergraduate student Tanner's very first paper "GUIFuzz++" at #ASE25 this Wednesday.

Also now integrated in AFL++! 😃
https://github.com/AFLplusplus/AFLplusplus/tree/stable/custom_mutators/guifuzz

Cranky from crashing calculators, cash apps, and CAD editors? Let GUIFuzz++ break them first and help make them better!

Super psyched to unveil GUIFuzz++: our grey-box fuzzer for Desktop GUI apps, led by FuTURES³ Lab undergrads Dillon Otto and Tanner Rowlett.

Coming soon to ASE 2025!

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

Fantastic job by my student Zao Yan presenting his decompiler fuzzing work Bin2Wrong at USENIX ATC! 🔥

Paper: http://futures.cs.utah.edu/papers/25ATC.pdf
Slides: http://futures.cs.utah.edu/papers/25ATC_slides.pdf
Code: http://github.com/FuturesLab/Bin2Wrong
Impacts of Bin2Wrong-found bugs: http://binary.ninja/2024/06/19/restructuring-the-decompiler.html

Awesome job by my PhD student
Gabe Sherman presenting his work on Oracle-guided C Fuzzing Harness Generation! #ICSE25

TLDR; 41 new bugs (40 now patched)... with 0 false positives!

Paper: futures.cs.utah.edu/papers/25ICSE-b.pdf
Slides: futures.cs.utah.edu/papers/25ICSE-b_slides.pdf
Code: github.com/FuturesLab/OGHarn

⚠️​ #BAR24 Deadline Extended!​ ⚠️

The deadline for the call for papers for the Workshop on Binary Analysis Research (BAR) has been extended to January 15, 2024 (AoE). More details available here: https://ndss-bar24.github.io.

Looking forward to all the awesome submissions!

BAR

A little under one month to go until the paper deadline for the 2024 NDSS Binary Analysis Research Workshop!!

BAR'24 call for papers is here: http://ndss-bar24.github.io!

We welcome both short and long manuscripts on *all* things binary analysis!

Deadline: Friday, January 5, 2024 by 11:59PM Anywhere-on-Earth (AOE).

Please help us spread the word!

BAR

UofU CS is hiring both tenure-track & lecturing faculty!

Come work with my awesome colleagues and enjoy Utah's amazing🏔️ and 🏜️!

https://cs.utah.edu/people/faculty/hiring/

Faculty Hiring – Kahlert School of Computing

BAR24's Call for Papers has just been posted here http://ndss-bar24.github.io!

We welcome both short and long manuscripts on *all* things binary analysis!

Deadline: Friday, January 5, 2024 by 11:59PM Anywhere-on-Earth (AOE).

Please help us spread the word!

BAR

Excited to announce the return of
the NDSS Binary Analysis Research Workshop (BAR), happening 3/1/24 in San Diego!

We're planning for a fun & informative day, with keynotes from
Vector35's @peterlafosse and
Wisconsin's Professor Bart Miller!

http://ndss-bar24.github.io

BAR