Networked Systems Security Laboratory

Our research agenda includes a gamut of security and privacy problems. We have a strong systems character, implementing and evaluating our solutions. At the same time, we pay close attention to theoretical methods, including, notably, formal protocol analysis and information-theoretic results.