Security & Privacy
Papers from CS researchers have been accepted to the 47th IEEE Symposium on Security and Privacy (IEEE S&P 2026), a leading conference in computer security and privacy.
CS researchers demonstrate that the new privacy method—using differential privacy—is more effective than the old method of swapping, and better protects the privacy of minorities.
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.
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