Ph.D. Dissertations - David Wagner

Building Reliable Voting Machine Software
Ka-Ping Yee [2007]

Verifying Security Properties in Electronic Voting Machines
Naveen K. Sastry [2007]

Verifying Security Properties using Type-Qualifier Inference
Robert Timothy Johnson [2007]

Bridging the Gap Between People and Policies in Security and Privacy
Umesh Shankar [2006]

Efficient Filtering Support for High-Speed Network Intrusion Detection
Jose M. Gonzalez [2005]

Lightweight Model Checking for Improving Software Security
Hao Chen [2004]