His main research interest is in computer security, especially relating to the security of software running on computers and electronic devices used by consumers. He served as the primary technical expert for the Department of Justice in the U.S. v. Microsoft case, and testified as an expert witness in this case. He frequently uses computer code as a medium of expression in both teaching and research.