Research

Our research spans five connected themes, from the mathematics of privacy and cryptography to the languages and tools that make secure systems practical and the people who use them.

Data Privacy and Differential Privacy

Faculty: Joseph Near, Yuanyuan Feng

Courses: CS 3110, CS 5110

Secure and Distributed Computation

Faculty: Christian Skalka, Joseph Near, Christelle Vincent

Courses: CS 3120, CS 5120

Language-Based Security and Verification

Faculty: Christian Skalka, Joseph Near

Courses: CS 3990 / CS 5990

Usable Privacy and Security

Faculty: Yuanyuan Feng

Courses: CS 6550

Cryptography

Faculty: Christelle Vincent, James Eddy, Laura Marthaler

Courses: CS 3559, CS 2660, CS 3660

Externally Funded Projects

Active

Past

Conference and travel support

Awards that fund conferences, summer schools and research travel rather than a research project. Current and past.