Government agencies, healthcare organizations, and research institutions often need to combine information from different databases to solve important problems like tracking disease outbreaks, improving public services, or conducting medical research. However, these organizations currently cannot share their data because it contains sensitive personal information protected by privacy laws and regulations. Read more
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 how to formalize security models, design cryptographic systems that are secure, and prove the security Read more
The project aims to develop control systems for ground vehicles that are resilient to a variety of external attacks. Our approach is to combine control-level techniques and code-level techniques, resulting in the approach comprises of two major stages: control law design and control task synthesis. Control-level defenses address attacks on Read more
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 is discovered, or a proxy cache is found to contain an unusually large number of Read more
The goal of this project is to create fundamentally new defenses against distributed denial-of-service (DDoS) attacks that can provide far greater resilience to these attacks compared to existing solutions. Today’s responses to DDoS attacks largely rely on old-school network-based filtering or scrubbing, which are slow and manual, and cannot handle Read more