News

View Story  

Van Horn Receives NSF Award For Gradual Verification Project

He aims to close the gap between programming languages and verification-integrated languages.   More»

     
View Story  

Katz Partners with PlatON on Building Protocols for Secure MPC

He is also working with an MC2 alumnus to design and build protocols for secure multi-party computation   More»

     
View Story  

Breakerspace Lab Encourages Undergraduate Research

Levin has created a new research lab focused on solving the latest problems in computer and network security   More»

     
View Story  

Cukier Honored with SANS Difference Makers Award

Cukier was recognized for reaching out to high school students interested in pursuing a cybersecurity career   More»

     
View Story  

MC2 Faculty, Students Have Five Papers Accepted to ACM Conference on Computer and Communications Security

MC2 researchers are presenting work covering a wide array of security-related topics   More»

     

Clark School        UMIACS   CMNS