My research is on computer security and privacy. We are interested in principled and algorithmic approaches to practical security problems. I am fortunate to run the KISP Lab. The name stands for 'Keep It Secure and Private'. We have several talented and passionate researchers: