Highlighted Research Projects

Security

Cryptographic Security at Scale

Cryptography is a cornerstone of modern computer security and is ubiquitous on the computer systems we depend on daily. As an academic discipline, after several decades of scientific development, we have a good understanding of Read more…

Security

Mathematical Limits of Lattices in Cryptography

Nearly all of public-key cryptography relies on the assumed difficulty of solving various number-theoretic problems. Recent spectacular developments in cryptography such as fully homomorphic encryption, candidate multilinear maps, and efficient post-quantum lattice-based cryptography have produced Read more…

Distributed Systems

Network Provenance

Operators of distributed systems often find themselves needing to answer a diagnostic or forensic question. Some part of the system is found to be in an unexpected state; for example, a suspicious routing table entry Read more…

Data Science

Measuring the World’s Well-Being

The World Well-Being Project (WWBP) is pioneering scientific techniques for measuring psychological well-being and physical health based on the analysis of language in social media. As a collaboration between computer scientists, psychologists, and medical researchers, Read more…