27 search results - page 6 / 6 » Security analysis of India's electronic voting machines |
DAS
2010
Springer
13 years 10 months ago
2010
Springer
Optical scan voting is considered by many to be the most trustworthy option for conducting elections because it provides an independently verifiable record of each voter’s inte...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...