| |
| | David Wagner (Site not responding. Last check: 2007-11-07) |
 | | I'm lucky to have the chance to work with a group of outstanding graduate students: Karl Chen, Rob Johnson, Chris Karlof, Adrian Mettler, David Molnar, Naveen Sastry, Ben Schwarz, Umesh Shankar, and Ka-Ping Yee, See also the students I've graduated. |
 | | Available: Oink, 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. |
 | | A large list of the home pages of some crypto and security researchers. |
| www.cs.berkeley.edu /~daw (216 words) |
|