Stefan Nagy (@snagycs) 's Twitter Profile
Stefan Nagy

@snagycs

Faculty @uutah.
My lab hunts bugs: futures.cs.utah.edu/bugs.
Mastodon: [email protected]
Bluesky: snagycs.bsky.social

ID: 1034454808281993217

linkhttp://cs.utah.edu/~snagy calendar_today28-08-2018 14:57:00

1,1K Tweet

1,1K Followers

1,1K Following

Virginia Tech (@virginia_tech) 's Twitter Profile Photo

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 🧔

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 🧔
Stefan Nagy (@snagycs) 's Twitter Profile Photo

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…

Awesome job by my PhD student <a href="/gabe_sherman6/">gabe sherman</a> presenting his work on Oracle-guided C Fuzzing Harness Generation! <a href="/ICSEconf/">ICSE</a> 

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…
d4d (@d4d89704243) 's Twitter Profile Photo

I'm thrilled to announce my talk "Cookie Chaos: Exploiting Parser Discrepancies" at SteelCon! Catch it live in Sheffield, or later on YoutTube. Check out the full abstract here: portswigger.net/research/talks…

flux (@0xfluxsec) 's Twitter Profile Photo

Here it is: fluxsec.red/alt-syscalls-f… my research on Alternate Syscalls for Windows 11! There are still a few other facets to explore, but this is stable and PatchGuard resistant (from my tests!) #blueteam #redteam #computing #securityresearch #cyber #infosec #cybersec #malware

Jonathan Aldrich (@jaldrichpl) 's Twitter Profile Photo

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!

Zao Yang (@yangzaocn) 's Twitter Profile Photo

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! šŸ’Ŗ

Zao Yang (@yangzaocn) 's Twitter Profile Photo

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

<a href="/snagycs/">Stefan Nagy</a> 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
Richard Seroter (@rseroter) 's Twitter Profile Photo

"Below we describe our prompt injection mitigation product strategy based on extensive research, development, and deployment of improved security mitigations." security.googleblog.com/2025/06/mitiga… < worth a read if you care about an in-depth approach to securing AI systems

"Below we describe our prompt injection mitigation product strategy based on extensive research, development, and deployment of improved security mitigations." security.googleblog.com/2025/06/mitiga… &lt; worth a read if you care about an in-depth approach to securing AI systems
reverseame (@reverseame) 's Twitter Profile Photo

How to build a high-performance network fuzzer with LibAFL and libdesock #NetworkFuzzing #Efficiency #LibAFL #Libdesock #PerformanceBoost lolcads.github.io/posts/2025/05/…

Stefan Nagy (@snagycs) 's Twitter Profile Photo

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…

Fantastic job by my student <a href="/yangzaocn/">Zao Yang</a> presenting his decompiler fuzzing work Bin2Wrong at <a href="/usenix/">USENIX Association</a> 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 (<a href="/vector35/">Vector 35</a>): binary.ninja/2024/06/19/res…
Alex Plaskett (@alexjplaskett) 's Twitter Profile Photo

System Register Hijacking: Compromising Kernel Integrity By Turning System Registers Against the System usenix.org/system/files/c…

System Register Hijacking: Compromising Kernel Integrity By Turning System Registers Against the System

usenix.org/system/files/c…
Yongdae Kim (yongdaek@infosec.exchange) (@yongdaek) 's Twitter Profile Photo

🧵 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