Stairway

Security

We have a strong group of faculty whose research is widely recognized for advancing the foundations of security and privacy, building provably-secure systems, and developing new programming languages and tools to aid the construction of secure software.

The goal of our group is to provide a scientific understanding of the sources of insecurity in computer systems, and to apply this understanding to the construction of new software and systems that come with guarantees about how they will behave when under attack.

Security and privacy are concerns that cut across all subdisciplines in Computer Science, so we continually work closely with researchers from other areas to find new challenges and opportunities. As a result, our research covers a broad range of topics, including authentication, language-based security, secure information flow, system and network security, cryptographic protocols, privacy, and mechanisms for accountability and transparency. However, our work on these topics is united by the view that security is impossible to achieve without a solid footing in rigorous techniques, precise definitions, and an appreciation of the nuances in real systems that are oftentimes at the core of these problems.

 


 

Events in Artificial Intelligence, Programming Languages, Theory, Graphics, Systems, Security

Crypto Seminar

Federated Learning with Formal User-Level Differential Privacy Guarantees

Faculty Working in this Area

Last First Professional Title Available To Advise?
Aldrich Jonathan Professor, Affiliated Faculty
Andersen David Professor
Blum Manuel University Professor Emeritus
Brumley David Professor of ECE, Affiliated Faculty
Crary Karl Associate Professor, Directory of Doctoral Programs
Datta Anupam Associate Professor, CSD, ECE
Fanti Giulia Assistant Professor, Affiliated Faculty
Fredrikson Matt Associate Professor
Garlan David Professor, Affiliated Faculty
Goyal Vipul Adjunct Faculty
Harper Robert Professor
Hoffmann Jan Associate Professor
Jain Aayush Assistant Professor
O'Donnell Ryan Professor
Parno Bryan Associate Professor
Pfenning Frank Professor
Satyanarayanan Mahadev Carnegie Group Professor of Computer Science
Sekar Vyas Tan Family Professor of Electrical and Computer Engineering, Affiliated Faculty
Sherry Justine Assistant Professor
Shi Elaine Associate Professor
Skarlatos Dimitrios Assistant Professor
Steenkiste Peter Professor of Computer Science And Electrical And Computer Engineering
Wang Weina Assistant Professor
Wing Jeannette Adjunct Faculty
Zheng Wenting Assistant Professor
Subscribe to Security