Cynthia Sturton


PhD Candidate
University of California, Berkeley
Computer Science Division
Advised by David Wagner

CV
723 Soda Hall
University of California, Berkeley
Berkeley, CA 94720

csturton -at- cs.berkeley.edu
My research is in computer security with a focus on applying formal methods to verify system-level software. My work is motivated by the need to establish a solid foundation of trust at the lowest level of a system. Lately, I have focused on verifying security properties of virtualization software (hypervisors, CPU emulators), and have looked at ways to make the use of traditional formal methods practical for these systems.

Publications

Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David Wagner. Verification with Small and Short Worlds. In Proceedings of the 2012 Formal Methods in Computer-Aided Design Conference, October 2012.

Patrick Baxter, Anne Edmundson, Keishla Ortiz, Ana Maria Quevedo, Samuel Rodriguez, Cynthia Sturton, David Wagner. Automated Analysis of Election Audit Logs. In Proceedings of the 2012 USENIX Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE), August 2012. (AuditBear tool and source code.)

Cynthia Sturton, Matthew Hicks, David Wagner, Samuel T. King. Defeating UCI: Building Stealthy and Malicious Hardware. In Proceedings of the 2011 IEEE Symposium on Security and Privacy, May 2011.

Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David Wagner. On Voting Machine Design for Verification and Testability. In Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS), November 2009.

Cynthia Sturton, Eric Rescorla, and David Wagner. Weight, Weight, Don't Tell Me: Using Scales to Select Ballots for Auditing. In Proceedings of the 2009 USENIX/ACCURATE Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE), August 2009.

Activities