Security & Privacy
The award will help fund research and support the work of a graduate student.
Gu received the 2022 early-career VMware Systems Research Award for developing fundamental system verification theory and synthesizing the results into realistic, bug-free, and hacker-resistant systems software.
Associate Professor Simha Sethumadhavan, Mohamed Tarek, and Miguel Arroyo design new techniques to bolster memory safety; ideas are now being used by Air Force Research Lab.
About
The security group works on a diverse set of security and privacy issues arising across the software/hardware stack.
The key research goal of the group is to design, develop, and deploy principled solutions for improving the security and privacy aspects of computer systems.
The group has a broad set of expertise ranging from systems security to designing privacy policies. It is a highly collaborative group and most of their students are co-advised by multiple faculty members.
Software Systems Laboratory 
Intrusion Detection Systems 
Add to GMail