The broad area of my research is foundations of distributed
computing. I am interested in developing modeling and verification methods
for distributed systems that can encompass a wide range of systems
including those that exhibit timing-dependent behavior and possibly interact with
the physical world. I have also had continued interest in security. During my
doctoral studies I investigated language-based security and how to use
type systems in making programs amenable to reasoning about security. The focus of my security research has shifted to modeling and analysis of secure systems, cryptographic protocols, and data privacy. Most recently, I am investigating the question of how to determine accountability for security violations using models of actual causation. This line of research is funded by the NSF grant for the project Blameworthy Programs: Accountability via Deviance and Causal Determination.