Stephen Checkoway
Ph.D. Candidate
Computer Science & Engineering
University of California San Diego

Contact

Email – <s | cs ucsd edu>
Office – CSE 3258

Research Interests

My primary research interests are in systems security and voting—particularly in voting security. Beyond those, I am interested in a number of topics such as tech policy—particularly 4th amendment protections against unreasonable searches and seizures as it relates to computers—modern algebra, category theory, cryptography, programming languages, compilers.

I think research is a social activity and I enjoy collaboration with researchers both inside and outside of UCSD.

Papers

K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, and S. Savage. Experimental Security Analysis of a Modern Automobile. In IEEE Symposium on Security and Privacy, May 2010, to appear.
S. Checkoway, A.J. Feldman, B. Kantor, J.A. Halderman, E.W. Felten, and H. Shacham. Can DREs Provide Long-Lasting Security? The Case of Return-Oriented Programming and the AVC Advantage. In D. Jefferson, J.L. Hall and T. Moran, eds., Proceedings of EVT 2009. USENIX/ACCURATE/IAVoSS, Aug. 2009.
S. Checkoway. Methods of Post-election Confidence-level Auditing. Research examination, written report, Sep. 2008.
W. Zhang, S. Checkoway, B. Calder, and D.M. Tullsen. Dynamic Code Value Specialization Using the Trace Cache Fill Unit. In 24th International Conference on Computer Design, Oct. 2006.

Education

C.Phil. in Computer Science, University of California, San Diego, 2009.
M.S. in Computer Science, University of California, San Diego, 2008.
B.S. in Mathematics, minor in Physics, University of Washington, 2005.
B.S. in Computer Science, University of Washington, 2005.

Teaching Assistant (+/-)

Summer 2008
- CSE 130 – Programming Languages
- CSE 21 – Mathematics for Algorithm and Systems Analysis
Spring 2008
- CSE 105 – Introduction to the Theory of Computation
Winter 2008
- CSE 105 – Introduction to the Theory of Computation
Fall 2007
- CSE 20 – Discrete Mathematics
Summer 2007
Spring 2007
- CSE 20 – Discrete Mathematics
Winter 2007
- CSE 105 – Introduction to the Theory of Computation
Fall 2006
- CSE 8A – Introduction to Computer Science with Java
Summer 2006
Spring 2005 (UW)
- CSE 378 – Machine Organization and Assembly Language
Winter 2005 (UW)
- CSE 373 – Data Structures and Algorithms
Fall 2004 (UW)
- CSE 378 – Machine Organization and Assembly Language