I manage the SPLAT lab, which performs research on
Software security
System and network security
Cryptography
Digital Rights Management
Operating systems
Networks
Algorithm design and analysis
Most of my publications and reports are available online.
Software
CQual. A static analysis tool for finding security bugs in C programs.
Oink. A general framework for developing static analyses for C and C++. Includes many of CQual's features.
Students
I am looking for 1 or 2 PhD students interested in
working on software or system security. If you think you might be
interested, please email me to make an appointment to discuss possible
projects.