Skip to content Skip to navigation

Computer Security

The primary focus of my research is computer security. I build and evaluate secure computer systems drawing inspiration and ideas from a number of related areas, such as cryptography, programming systems, program analysis, software engineering, formal methods and verification, mobile and cyber-physical systems, computer systems, and hardware architecture. Please consult my publications for details.


Research Projects

Active Projects