We are a team of researchers who build practical systems with the aim of improving real-world software security and robustness.
We routinely find software bugs and publish our work in security and software engineering venues like ACM CCS and ICSE.
Our group currently focuses on the following research areas: software testing, program analysis, and automated bug repair.
Recent News
- 04/2025: Our work on wild API usage recovery for fuzzing harnessing is accepted to ISSTA'25!
- 03/2025: Our automated fuzzing harness generator OGHarn is now available. Happy fuzzing!
- 01/2025: Gabe's paper on automated fuzzing harness generation is accepted to ICSE'25!
- 07/2024: Our work on kernel configuration tuning for kernel fuzzing is accepted to ICSE'25!
- 06/2024: Zao's work on decompiler fuzzing featured in a blog post by the Binary Ninja team!
- 05/2024: Congratulations to our student researchers Andrew, David, and Gabe for graduating!
- 06/2023: Our paper on target-embedded Windows fuzzing snapshotting is accepted to USENIX'23!
- 05/2023: Our paper on profile-guided system optimizations for fuzzing is accepted to CCS'23!
- 02/2023: Stefan's guest article for ACM Queue magazine The Fun in Fuzzing is now available!
- 09/2022: Our paper on directed fuzzing optimization SieveFuzz is accepted to ACSAC'22.
Contact
|
3446 Merrill Engineering (MEB) 50 Central Campus Drive Salt Lake City, UT 84112 |
|
| snagy@cs.utah.edu | |
| +1 801-581-8224 |
Our Sponsors
