
Stefan Nagy
@snagycs
Faculty @uutah.
My lab hunts bugs: futures.cs.utah.edu/bugs.
Mastodon: [email protected]
Bluesky: snagycs.bsky.social
ID: 1034454808281993217
http://cs.utah.edu/~snagy 28-08-2018 14:57:00
1,1K Tweet
1,1K Followers
1,1K Following



Awesome job by my PhD student gabe sherman presenting his work on Oracle-guided C Fuzzing Harness Generation! ICSE TLDR; 41 new bugs (40 now patched)... with 0 false positives! Paper: futures.cs.utah.edu/papers/25ICSE-⦠Slides: futures.cs.utah.edu/papers/25ICSE-⦠Code: github.com/FuturesLab/OGHā¦





All Association for Computing Machinery publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!

Happy to share my upcoming #ATC25 paper w/ Stefan Nagy: "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! šŖ

Stefan Nagy Check it out! š Paper:Ā futures.cs.utah.edu/papers/25ATC.p⦠š ļø Bin2Wrong:Ā github.com/FuturesLab/Bin⦠š„Some impacts of bugs Bin2Wrong found: binary.ninja/2024/06/19/res⦠#fuzzing #decompilation








Fantastic job by my student Zao Yang presenting his decompiler fuzzing work Bin2Wrong at USENIX Association ATC! š„ Paper: futures.cs.utah.edu/papers/25ATC.p⦠Slides: futures.cs.utah.edu/papers/25ATC_s⦠Code: github.com/FuturesLab/Bin⦠Impact of Bin2Wrong-found bugs (Vector 35): binary.ninja/2024/06/19/resā¦



š§µ LLFuzz: An Over-the-Air Dynamic Testing Framework for Cellular Baseband Lower Layers We built LLFuzz to fuzz LTE baseband lower layers -- RLC, MAC, PDCP, PHY -- and test memory safety via OTA input. š GitHub (TBR): github.com/SysSec-KAIST/L⦠Accepted at USENIX Security 2025

