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.
3446 Merrill Engineering (MEB) 50 Central Campus Drive Salt Lake City, UT 84112 |
|
snagy@cs.utah.edu | |
+1 801-581-8224 |