Security & Privacy
The startup develops cybersecurity software tools based on technology from The Intrusion Detection Systems Group.
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.
Yung was honored for his groundbreaking research and implementation of cryptographic technologies that ensure secure, scalable internet and mobile computing.
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