Security & Privacy
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
The award will help fund research and support the work of a graduate student.
Associate Professor Simha Sethumadhavan, Mohamed Tarek, and Miguel Arroyo design new techniques to bolster memory safety; ideas are now being used by Air Force Research Lab.
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