Graduates.
Students I've advised who have since graduated:
- Ka-Ping Yee,
Ph.D., 2007: Building Reliable Voting
Machine Software.
- Naveen Sastry,
Ph.D., 2007: Verifying Security Properties
in Electronic Voting Machines.
- Umesh Shankar (Google).
Ph.D., 2006: Bridging the Gap between People
and Policies in Security and Privacy.
- Rob Johnson
(SUNY Stony Brook).
Ph.D., 2006: Verifying Security Properties
using Type-Qualifier Inference.
- Hao Chen (U.C. Davis).
Ph.D., 2004: Lightweight Model Checking
for Improving Software Security.
- Jason Waddle (Google).
M.S., 2004: Formalizing Secure Computation
for Embedded Systems.
- Ben Schwarz,
M.S., 2005: Model Checking An Entire
Linux Distribution for Security Violations.
David Wagner,
daw@cs.berkeley.edu,
http://www.cs.berkeley.edu/~daw/.