Team for Research in
Ubiquitous Secure Technology

Citation
Cynthia Sturton, Susmit Jha, Sanjit Seshia, David Wagner. "On Voting Machine Design for Verification and Testability". Conference on Computer and Communications Security, 2009.

Abstract
(No abstract.)

Electronic downloads

• http://www.cs.berkeley.edu/~csturton/papers/vvm-ccs09.pdf

• HTML

  Cynthia Sturton, Susmit Jha, Sanjit Seshia, David Wagner.
  <a href="http://www.truststc.org/pubs/630.html"
  >On Voting Machine Design for Verification and
  Testability</a>, <i>Conference on Computer and
  Communications Security</i>,  2009.

• Plain text

  Cynthia Sturton, Susmit Jha, Sanjit Seshia, David Wagner.
  "On Voting Machine Design for Verification and
  Testability". <i>Conference on Computer and
  Communications Security</i>,  2009.

• BibTeX

  @article{SturtonJhaSeshiaWagner09_OnVotingMachineDesignForVerificationTestability,
      author = {Cynthia Sturton and Susmit Jha and Sanjit Seshia
                and David Wagner},
      title = {On Voting Machine Design for Verification and
                Testability},
      journal = {Conference on Computer and Communications Security},
      year = {2009},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/630.html}
  }
  

Posted by Cynthia Sturton on 17 Sep 2009.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.