Security & Privacy
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.
Sethumadhavan joined high-level officials and leading researchers at the Cyber Regulation and Harmonization Conference.
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
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