He received his Ph.D. degree in Computer Science from Princeton University in 2005. He has been conducting research in software security, web security, and electronic voting-machine security. In 2008, he was a member of a team of experts in a court-permitted study of the security of a major electronic voting machine, in connection with a New Jersey voting-machine lawsuit. His current research projects are sponsored by the National Science Foundation (NSF) and Google Inc.