My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Bluesky: http://snagycs.bsky.social
Twitter: @snagycs
| Hompeage | https://cs.utah.edu/~snagy |
| Group | https://softsec.cs.utah.edu |
| Hompeage | https://cs.utah.edu/~snagy |
| Group | https://softsec.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!
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!
UofU CS is hiring both tenure-track & lecturing faculty!
Come work with my awesome colleagues and enjoy Utah's amazing🏔️ and 🏜️!
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!
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!