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.
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
In a recent retirement talk, Professor Steve Bellovin shared his journey from the early days of his career to his thoughts on the future of security and tech policy.
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