I'm a professor in the systems group at Rice University's Department of Computer Science, specializing in computer security. My research interests include mobile code, wireless and smartphone security, and the security of electronic voting systems. I'm also a Rice Scholar at the Baker Institute for Public Policy.

Comp413: Distributed Program Construction. MWF 3-3:50pm, room TBD.

(previous courses I've taught)

All my papers are available online. You can see some of my talks. You may be interested in our tamper evident data structures, the Rice Wireless Localization Toolkit, VoteBox, or our Android extensions. My manuscript on rebooting the CS publication process has also been very popular, and I hope many benefit from my HOWTO: Protect Your Small Organization Against Electronic Adversaries.

Testimony before the Texas Senate Special Committee on Election Security, February 2018. Post-hearing letter.

Testimony before the U.S. Congress Space, Science, & Technology Committee on Voting Security, September 2016. Post-testimony Q&A, October 2016.

Voting System Risk Assessment via Computational Complexity Analysis, August 2008.

California Top-to-Bottom Review / Hart-InterCivic Source Code Review, July 2007.

A good list of voting-related publications can be found at the ACCURATE web site.