On the notion of ‘software independence’ in voting systems

@article{Rivest2008OnTN,
  title={On the notion of ‘software independence’ in voting systems},
  author={Ronald L. Rivest},
  journal={Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
  year={2008},
  volume={366},
  pages={3759 - 3767}
}
  • Ronald L. Rivest
  • Published 2008
  • Physics, Biology, Medicine
  • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • This paper defines and explores the notion of ‘software independence’ in voting systems: ‘A voting system is software independent if an (undetected) change or error in its software cannot cause an undetectable change or error in an election outcome’. For example, optical scan and some cryptographically based voting systems are software independent. Variations and implications of this definition are explored. It is proposed that software-independent voting systems should be preferred, and… CONTINUE READING

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 93 CITATIONS

    Source Code Review of the Diebold Voting System

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Tamper-proof Election Result Verification System in Resource Constrained Environments

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Survey of Fully Verifiable Voting

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Security analysis of India's electronic voting machines

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    A framework for comparing the security of voting schemes

    VIEW 3 EXCERPTS
    CITES BACKGROUND

    FILTER CITATIONS BY YEAR

    2007
    2020

    CITATION STATISTICS

    • 4 Highly Influenced Citations

    • Averaged 7 Citations per year from 2017 through 2019

    References

    Publications referenced by this paper.
    SHOWING 1-8 OF 8 REFERENCES

    Verifying Secret-Ballot Elections With Cryptography

    • Ben Adida
    • PhD thesis, MIT Department of EECS,
    • 2006

    Practical high intent verification fo encrypted votes

    • C. Andrew Neff
    • Available from VoteHere
    • 2004

    Secret-ballot receipts: True voter-verifiable elections

    • David Chaum
    • Computer Science
    • IEEE Security & Privacy Magazine
    • 2004

    Voting system ballot counter overflow

    • Heather Havenstein
    • Available at: http://www.computerworld.com/governmenttopics/government/story/0,
    • 2004
    VIEW 1 EXCERPT