David Wagner Associate Professor Computer Science Division University of California, Berkeley

Research interests. Computer security, especially security of large-scale systems and networks. Applications of static and dynamic program analysis to computer security. I am currently working on software security, electronic voting, and other topics. I participate in the TRUST and ACCURATE centers. In the past, I was a co-founder of the ISAAC research group. In the past, I have worked on wireless security, sensor network security, and cryptography.

Publications. My technical papers and publications are all available online. Some of my technical talks are also available, too.

Teaching. I am teaching CS 170 (Algorithms) in Spring 2009. See also my past teaching.

Students. I'm lucky to have the chance to work with a group of outstanding graduate students: Erika Chin, Arel Cordero, Adrienne Felt, Matt Finifter, Adrian Mettler, David Molnar, and Cynthia Sturton. See also the students I've graduated.

Contacting me. See my contact information for my address and other details.

Professional activities. I'm currently involved with Usenix Security 2009, PLAS 2009, EVT/WOTE 2009, and 2009 IEEE Security & Privacy Symposium (as a member of the program committee), and CRYPTO 2009 (as an advisory member of the program committee). Submit your best work!

Software. Available: Joe-E, a Java-based programming language for secure programming; CQual++, a tool for type inference analysis of C and C++ code; MOPS, a tool for verifying security properties of C code; and BOON, a tool for finding buffer overrun vulnerabilities in C code.

Resources I maintain. Information on collecting randomness for cryptographic purposes. A large list of the home pages of some crypto and security researchers.