Security & Privacy
What if we could simulate national cybersecurity policy before implementing it? This new computational tool aims to do just that.
Yung is recognized for contributions to cryptography and its applications in information technology systems.
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