Stefan Nagy
I'm an Assistant Professor in the Kahlert School of Computing at The University of Utah. I earned my Ph.D. in Computer Science from Virginia Tech in 2022, and my Bachelor's in Computer Science from The University of Illinois Urbana-Champaign in 2016.
Broadly, I lead research and teach students in the areas of Software Engineering, Software Quality Assurance, and Computer Systems. Key topics I work on include software testing, program analysis, and bug repair. I'm especially interested in making efficient and effective quality assurance possible for opaque and otherwise challenging software and systems.
|
3446 Merrill Engineering (MEB) 50 Central Campus Drive Salt Lake City, UT 84112 |
|
| snagy@cs.utah.edu | |
| +1 801-581-8224 |
| Program Analysis and Automated Bug Discovery: | ICSE'25b ICSE'25a CCS'23 ACSAC'22 |
| Enhancing Testing for Closed-source Software: | USENIX'23 CCS'21 USENIX'21 Oakland'19 |
| Security Ethics and Education: | ISTAS'19 ICSE'18 ICDF2C'15 |
| Digital Forensics: | SADFE'15 ICDF2C'15 |
| CS 4440: Introduction to Computer Security | Website |
| CS 5963 / 6963: Applied Software Security Testing | Website |
A full and up-to-date publications list is available on the FuTURES3 Lab website. Names of my advised students are underlined.
No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses.
Gabriel Sherman and Stefan Nagy.
International Conference on Software Engineering (ICSE'25).
A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing.
Sanan Hasanov, Stefan Nagy, and Paul Gazzillo.
International Conference on Software Engineering (ICSE'25).
No Linux, No Problem: Fast and Correct Windows Binary Fuzzing via Target-embedded Snapshotting.
Leo Stone, Rishi Ranjan, Stefan Nagy, and Matthew Hicks.
USENIX Security Symposium (USENIX'23).
