Verifying Security Properties in Electronic Voting

@inproceedings{Sastry2007VerifyingSP,
  title={Verifying Security Properties in Electronic Voting},
  author={Naveen Sastry},
  year={2007}
}
Verifying Security Properties in Electronic Voting Machin es 

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 85 references

A better ballot box

  • Rebecca Mercuri
  • IEEE Spectrum,
  • 2002
Highly Influential
20 Excerpts

A modu lar voting architecture (“Frogs”)

  • Shuki Bruck, David Jefferson, Ronald Rivest
  • Voting Technology Project Working
  • 2001
Highly Influential
5 Excerpts

Vote Tabulation Checks & Balances

  • Rebecca Mercuri.Electronic
  • PhD thesis, School of Engineering and Applied…
  • 2000
Highly Influential
20 Excerpts

The Joe-E language spe cification (draft)

  • Adrian Mettler, David Wagner
  • Technical Report UCB/EECS-2006-26, EECS…
  • 2006
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…