XML Based Security Model for Enhancing the Integrity and the Privacy of E-Voting Systems

As the world is becoming more technological, using electronic voting could be very beneficial in elections rather using traditional paper-based election schemes. However, there are many security related issues that can cause significant problems in electronic voting (e-voting). Violating voters’ privacy or integrity of ballots would definitely cause serious problems with the entire election process. People may refuse to accept the electronic form of elections. Existing e-voting systems use sophisticated but inefficient, and expensive techniques to satisfy the security requirements of e-voting. Therefore, most of small and mid-size electoral populations cannot employ e-voting systems in their elections and experience remarkable benefits of e-voting. In this thesis, a new electronic voting approach is proposed using extensible markup language (XML) to verify and secure the integrity as well as to preserve the privacy of the voters. The evaluation results of this thesis show that the new approach is an implementation friendly, efficient, and also cost-effective approach to safeguard integrity and privacy related security requirements of e-voting systems for small and mid-size electoral populations

Secure digital voting system based on blockchain technology

Electronic voting or e-voting has been used in varying forms since 1970s with fundamental benefits over paper based systems such as increased efficiency and reduced errors. However, there remain challenges to achieve wide spread adoption of such systems especially with respect to improving their resilience against potential faults. Blockchain is a disruptive technology of current era and promises to improve the overall resilience of e-voting systems. This paper presents an effort to leverage benefits of blockchain such as cryptographic foundations and transparency to achieve an effective scheme for e-voting. The proposed scheme conforms to the fundamental requirements for e-voting schemes and achieves end-to-end verifiability. The paper presents details of the proposed e-voting scheme along with its implementation using Multichain platform. The paper presents in-depth evaluation of the scheme which successfully demonstrates its effectiveness to achieve an end-to-end verifiable e-voting scheme

E-Democracy:A Requirement for A Successful E-Voting and E-Government Implementation in Nigeria

Reducing poverty by 50% through the use of information and communication technology (ICT), which is the primary objective of the millennium development goals (MDGs) requires a lot of innovations such as the implementation of e-Government, e-Democracy, e-Learning, e-Voting, eJudiciary, and e-Health to mention but a few. Participatory democracy is a major requiremer1t for achieving the MDGs, particularly, where majority of the citizenry is disenchanted with the electioneering or democratic processes or governance. This paper reviews the rate of ICT diffusion and the global ranking of the e-Government initiatives of some African countries. The paper also presents the Nigerian National IT policy, the general views of some randomly selected electorates concerning e-Voting, the voting pattern in the past elections, and the likely motivating factors for eVoting in the country as well as the necessary requirements that will facilitate the successful implementation of both e-Voting and e-Government initiatives. Similarly, the paper presents a model for e-Democracy implementation for increased trust and participation in government. Findings revealed that the apathy between electorates and government arose from lack of trust, probity, transparency and accountability. Although, a reasonable percentage of the respondents supported to the adoption of e-Voting, it is equally evident from the level of diffusion of IT facilities: Internet and telephone, that there is still need for improved infrastructure. The position of Nigeria in Africa and the world on global e-Government ranking is abysmally low and does not justify the enormity of material and human resources available in the country. For a successful adoption of e-Voting and e-Government, grassroot mobilization through e-Democracy should be encouraged. Government should as a matter of urgency look into the inadequate basic infrastructures that stimulates ICT diffusion and encourage interaction between the electorates and the elects through the adoption of e-Democracy, which in turn encourages probity, transparency, accountability and participation in governanc

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal

The design and implementation of an e-voting system is a challenging task. Formal analysis can be of great help here. In particular, it can lead to a better understanding of how the voting system works, and what requirements on the system are relevant. In this paper, we propose that the state-of-art model checker Uppaal provides a good environment for modelling and preliminary verification of voting protocols. To illustrate this, we present an Uppaal model of Pr\^et \`a Voter, together with some natural extensions. We also show how to verify a variant of receipt-freeness, despite the severe limitations of the property specification language in the model checker

Blockchain-based Decentralized Application for Electronic Voting using an Electronic ID

An electronic voting system that fully mimics real-world systems has long been desired. Until recently, it had not been possible to fully address the mandatory properties of a real-world voting scheme, simultaneously. Recently, with the onset of new technologies and research, however, it is not only possible to fulfill these very properties, but also to improve the anonymity and convenience of voting. A decentralized and self-tallying electronic voting protocol that substantially enhances the privacy of voters and diminishes centralization is developed in this work and presented in this dissertation. These properties are accomplished through a symbiotic relationship between the Ethereum Blockchain and the Portuguese electronic ID. Unlike previously proposed Blockchain e-voting protocols, this is the first implementation that more closely fulfills most of the security requirements of a real-world voting scheme. Furthermore, this system improves currently in-use e-Voting systems by using a self-tallying protocol. Thus, each voting citizen is able to compute the tally of the election and has complete control over their own vote. The execution of this protocol is enforced using the consensus mechanism that safeguards the Ethereum Blockchain. To prove its feasibility, its implementation was tested on the official Proof of Work (PoW) test network of Ethereum (known as Ropsten). The financial and computational breakdowns are on par with the leading Blockchain e-voting protocol.Um sistema de votação eletrónica que reproduza eficazmente sistemas eleitorais utilizados no mundo é há muito desejado. Até recentemente, não era possível satisfazer, simultaneamente, as propriedades intrínsecas de um sistema de votação tradicional. Recentemente, com o advento de novas tecnologias e investigação, não só é possível cumprir estas propriedades, como também melhorar o anonimato, acessibilidade e a própria estrutura do processo eleitoral. Neste trabalho, apresentamos um protocolo de votação eletrónica descentralizada e auto contável, que aumenta a privacidade dos eleitores e diminui a centralização. Estas propriedades são alcançadas através de uma relação simbiótica entre a Blockchain de Ethereum e o cartão de cidadão eletrónico Português. Ao contrário de protocolos eleitorais de recurso a Blockchain propostos anteriormente, esta é a primeira implementação que de mais perto atende à maioria dos requisitos de segurança de um esquema de votação real. Além disso, este sistema aperfeiçoa os sistemas de votação eletrónica utilizados atualmente, através da utilização de um protocolo auto contável. Desta forma, cada eleitor é capaz de fazer a contagem eleitoral por si mesmo, e verificar que todos os intervenientes agem de acordo com o protocolo. A execução do protocolo é compelida através do mesmo mecanismo de consenso distribuído que protege a Blockchain de Ethereum. Por forma a provar a sua viabilidade, a implementação foi testada na rede oficial de testes Proof of Work (PoW) de Ethereum (Ropsten). Os custos financeiros e computacionais estão ao mesmo nível do mais importante protocolo de e-voting associado a Blockchai

Design imperatives for e-voting as a sociotechnical system

There are a number of past and ongoing research efforts on the development of e-voting systems. These works largely focus on requirements, technical specification and implementation technologies to support different aspects of the elections from registration and verification through balloting to counting and result. A major shortcoming of these studies is their sole focus on technical aspect of e-voting solution wit/lOut significant attention paid to human and environment factors that arguably determine the successful adoption of such e-voting solutions. This paper addresses this design gap in three steps. First, it provides a conceptualization of e-voting system as a socio-technical system. Second, it elaborates a set of principles to guide a socioteclmical design for e-voting. Third, it provides concrete implications of these principles. The paper concludes on the pragmatics of this approach to e-voting adoption particularly in environment such as Nigeria

The Prototype of e-SRC Voting System

This project will be a feasibility study on the implementation of electronic voting or e-voting in the Students Representative Council (SRC) election in Matriculation Colleges. An electronic voting technique, such as Direct Recording Electronic (DRE) has become a new alternative in election nowadays. It has been implemented widely. The emergence of ICT in Malaysia had made the implementation of DRE is possible. DRE offers benefits in term of time consuming and to solve overvote and undervote problem. This project will be developed based on Hevner's Methodology (2004) which consist five phases. The system will be developed based on requirements and needs in SRC election. Finally the system will be tested and the result will showed the suitability and possibility of the system implementation to be implemented in matriculation colleges

Formal Verification of an Electronic Voting System

Electronic voting (e-voting) systems that are used in public elections need to fulfil a broad range of strong requirements concerning both safety and security. Among these requirements are reliability, robustness, privacy of votes, coercion resistance and universal verifiability. Bugs in or manipulations of an e-voting system may have considerable influence on the life of the humans living in a country where such a system is used. Hence, e-voting systems are an obvious target for software verification. In this paper, we report on an implementation of such a system in Java and the formal verification of functional properties thereof in the KeY verification system. Even though the actual components are clearly modularized, the challenge lies in the fact that we need to prove a highly nonlocal property: After all voters have cast their votes, the server calculates the correct votes for each candidate w.r.t. the original ballots. This kind of trace property is dificult to prove with static techniques like verification and typically yields a large specification overhead

Prototype implementation of dynavote e-voting protocol

Voting is regarded as one of the most effective methods for individuals to express their opinions on a given topic. Electronic voting (eVoting) refers to the use of computers or computerised voting equipments to cast ballots in an election. eVoting performed over Internet can be universally accepted in the upcoming years due to the fact that Internet plays key roles in people's lives. The DynaVote eVoting protocol claims that it is practical over a network since it does not use complex algorithms and has no physical assumptions such as untappable channels, whereas fulfilling core voting requirements such as privacy, accuracy, uncoercibility and individual verifiability. Software development requires considerable amount of time and money. Therefore, in order to utilise all resources, the prototype implementation gains more importance as it gives quick feedbacks about the practicality of the system. This paper presents a prototype implementation of DynaVote eVoting protocol over the Internet. Since DynaVote relies on PVID scheme, which is an unlinkable pseudo identity mechanism, the prototype includes implementation of PVID scheme component as well. The main outcome of this study is to prove that DynaVote protocol over Internet is practical and applicable in real life and to illustrate that PVID scheme provides unlinkability. This study also contributes some improvements in DynaVote e-voting protocol. Furthermore, this paper analyses how the prototype fulfils some electronic voting system requirements such as efficiency, transparency and mobility

E-DEMOCRACY: A REQUIREMENT FOR A SUCCESSFUL E-VOTING AND E- GOVERNMENT IMPLEMENTATION IN NIGERIA

ABSTRACf Reducing poverty by 50% through the use of information and communication technology (ICT), which is the primary objective of the millennium development goals (MDGs) requires a lot of innovations such as the implementation of e-Government, e-Democracy, e-Learning, e-Voting, eJudiciary, and e-Health to mention but a few. Participatory democracy is a major requiremer1t for achieving the MDGs, particularly, where majority of the citizenry is disenchanted with the electioneering or democratic processes or governance. This paper reviews the rate of ICT diffusion and the global ranking of the e-Government initiatives of some African countries. The paper also presents the Nigerian National IT policy, the general views of some randomly selected electorates concerning e-Voting, the voting pattern in the past elections, and the likely motivating factors for eVoting in the country as well as the necessary requirements that will facilitate the successful implementation of both e-Voting and e-Government initiatives. Similarly, the paper presents a model for e-Democracy implementation for increased trust and participation in government. Findings revealed that the apathy between electorates and government arose from lack of trust, probity, transparency and accountability. Although, a reasonable percentage of the respondents supported to the adoption of e-Voting, it is equally evident from the level of diffusion of IT facilities: Internet and telephone, that there is still need for improved infrastructure. The position of Nigeria in Africa and the world on global e-Government ranking is abysmally low and does not justify the enormity of material and human resources available in the country. For a successful adoption of eVoting and e-Government, grassroot mobilization through e-Democracy should be encouraged. Government should as a matter of urgency look into the inadequate basic infrastructures that stimulates ICT diffusion and encourage interaction between the electorates and the elects through the adoption of e-Democracy, which in turn encourages probity, transparency, accountability and participation in governance