Security & Privacy
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.
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
Such an agency, modeled on the Aviation Safety Reporting System, would investigate major cyberattacks and “near misses,” publishing results so others could better understand—and avoid—the threats. Reporting would be voluntary, anonymous, and nonpunitive.
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