Ph.D. Dissertations - David Wagner

Helping Developers Construct Secure Mobile Applications
Erika Chin [2013]

Secure Virtualization with Formal Methods
Cynthia Sturton [2013]

Towards Evidence-Based Assessment of Factors Contributing to the Introduction and Detection of Software Vulnerabilities
Matthew Finifter [2013]

Language and Framework Support for Reviewably-Secure Software Systems
Adrian Mettler [2012]

Towards Comprehensible and Effective Permission Systems
Adrienne Porter Felt [2012]

Enabling More Meaningful Post-Election Investigations
Arel Lee Cordero [2010]

Dynamic Test Generation for Large Binary Programs
David Alexander Molnar [2009]

Human Factors in Web Authentication
Chris K. Karlof [2009]

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

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

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

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

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

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