Graduates.
Students I've advised who have since graduated:
- Adrian Mettler
(Fireeye),
Ph.D., 2012,
Language and Framework Support for Reviewably-Secure Software Systems.
- Adrienne Porter Felt
(Google),
Ph.D., 2012,
Towards Comprehensible and Effective Permission Systems.
- Arel Cordero,
Ph.D., 2010:
Enabling More Meaningful Post-Election
Investigations.
- David Molnar
(Microsoft Research),
Ph.D., 2009:
Dynamic Test Generation for Large Binary
Programs.
- Chris Karlof
(Usable Security Systems),
Ph.D., 2009:
Human Factors in Web Authentication.
- Karl Chen (D.E. Shaw), 2008.
- Ka-Ping Yee (Google.org),
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/.