[ Home ]
[ Schedule ]
[ Research ]
[ Classes ]
 

Research

My research interests are primarily in security including security theory, static analysis, systems security, and security ease-of-use. Recently I've been exploring issues of privacy and privacy enhancing technologies (PETs). In the past, I've done work on operating systems, programming languages, and parallel systems and computation.

Current Research

I'm exploring using TCPA and other such "Trusted Computing" architectures to provide regular folks with enhanced privacy. I'm collaborating with Chris Karlof and Yaping Li for this project.

Papers, Articles, and Past Research