Transparent, Auditable, and Stepwise Verifiable Online E-Voting Enabling an Open and Fair Election

Zou, Xukai; Li, Huian; Feng, Li; Peng, Wei; Song, Yanlong

doi:10.3390/cryptography1020013

Cited by 7 publications

(3 citation statements)

References 53 publications

(93 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Blockchain-based voting systems work with the security characteristics of blockchain technology, which provide a sophisticated, secure, confident election process and transparent results for turnout and casting. Most scholars have described and explained the importance of each characteristic of the blockchain-based voting system and suggested models or protocols with preferred additional features [31,32,34,43,[45][46][47][48][49][50]. Blockchain-based e-voting systems use the security characteristics of blockchain technology to prevent multiple voting and tampering with voting processes and, in turn, ensure secure and transparent casting for authorized voters and record turnout and tallying results accurately in a decentralized, immutable ledger [51].…”

Section: Blockchain-based E-votingmentioning

confidence: 99%

Citizens’ Perception of Blockchain-Based E-Voting Systems: Focusing on TAM

Mannonov,

Myeong

2024

Sustainability

View full text Add to dashboard Cite

Digital transformation and new technologies have made people’s lives easier and led to great results in most areas of business and society. Implementing blockchain technology is one of the best tools for establishing sustainable smart cities and societies. In terms of sustainable governance sophisticated and secure voting systems are necessary to achieve high integrity and transparency and null election fraud, and, in environmental sustainability, e-voting systems eliminate the mass waste of paper and transportation gas emissions; namely, e-voting systems are eco-friendly with high democratic outcomes. Blockchain technology can revolutionize e-voting by increasing the security and transparency of the voting process. Integrating artificial intelligence (AI) and machine learning (ML) into blockchain-based e-voting systems further augments their effectiveness. AI algorithms can analyze voting patterns and detect irregularities, supporting the prevention of fraudulent activities and coercion. ML procedures can enhance voter authentication processes, improve accessibility for diverse demographics, and optimize the productivity of blockchain networks during peak voting periods. This study focuses on understanding citizen perceptions of blockchain-based e-voting in a smart city context using the Technology Acceptance Model (TAM). The study’s results indicate that perceived ease of use and perceived usefulness are important factors in determining citizens’ intentions to use blockchain-based e-voting. Furthermore, trust in the technology and perceived security were found to influence the usefulness of blockchain-based e-voting positively. This study provides important insights for policymakers and technologists seeking to promote the adoption of blockchain-based e-voting systems in smart cities. The findings of the research supported the research model with positive results. In conclusion, our research model encourages the adoption of a blockchain-based e-voting system to enhance the future voting environment.

show abstract

Section: Blockchain-based E-votingmentioning

confidence: 99%

Citizens’ Perception of Blockchain-Based E-Voting Systems: Focusing on TAM

Mannonov,

Myeong

2024

Sustainability

View full text Add to dashboard Cite

show abstract

“…The mutual restraining electronic voting and election protocol [7,26] balances multiple parties with conflicting interests based on a few simple cryptographic primitives and assumptions. The protocol consists of three technical components (TC): a universal verifiable voting vector (TC1), forward and backward mutual lock voting (TC2), and in-process checking and enforcement (TC3).…”

Section: Mutual-restraining E-votingmentioning

confidence: 99%

Electronic Voting Technology Inspired Interactive Teaching and Learning Pedagogy and Curriculum Development for Cybersecurity Education

Hosler

Zou

Bishop

2021

Information Security Education for Cyber Resilience

View full text Add to dashboard Cite

Cybersecurity is becoming increasingly important to individuals and society alike. However, due to its theoretical and practical complexity, keeping students interested in the foundations of cybersecurity is a challenge. One way to excite such interest is to tie it to current events, for example elections. Elections are important to both individuals and society, and typically dominate much of the news before and during the election. We are developing a curriculum based on elections and, in particular, an electronic voting protocol. Basing the curriculum on an electronic voting framework allows one to teach critical cybersecurity concepts such as authentication, privacy, secrecy, access control, encryption, and the role of non-technical factors such as policies and laws in cybersecurity, which must include societal and human factors. Student-centered interactions and projects allow them to apply the concepts, thereby reinforcing their learning.

show abstract

“…3. Verifiability/Auditability [49] -I should be able to check that the voting process was executed correctly. 4.…”

Section: Complex Interacting Requirementsmentioning

confidence: 99%

Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit

Gibson

Raffy

2020

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

View full text Add to dashboard Cite

There has been much recent interest in the development of electronic voting (e-voting) systems, but there remain many outstanding research challenges for software and system engineers. Software product line (SPL) techniques offer many advantages for the practical development of reliable and trustworthy e-voting systems, but the composition of system features poses significant problems that can be addressed satisfactorily only through the use of formal methods. When such systems are used in government elections then they are obliged to follow legal standards and/or recommendations written in natural language. For the formal development of e-voting systems it is necessary to build a domain model which is consistent with the legal requirements. We have already demonstrated that Event-B models can be used to verify critical requirements for e-voting system components. However, the refinement-based approach needs to be applied to the engineering of a complete e-voting system. We report on our approach, using Event-B contexts to model an e-voting ontology, and its integration with an e-voting features model tree which formally specifies the SPL. During this work, we identified the importance of making the implicit explicit in two different ways -domain experts need to explicitly model implicit knowledge, and Event-B modellers need to explicitly communicate the semantics of the formal model constructs to the domain experts. If either of these tasks is not adequately carried out then this compromises validation of the requirements model (instance of the SPL).

show abstract

Transparent, Auditable, and Stepwise Verifiable Online E-Voting Enabling an Open and Fair Election

Cited by 7 publications

References 53 publications

Citizens’ Perception of Blockchain-Based E-Voting Systems: Focusing on TAM

Citizens’ Perception of Blockchain-Based E-Voting Systems: Focusing on TAM

Electronic Voting Technology Inspired Interactive Teaching and Learning Pedagogy and Curriculum Development for Cybersecurity Education

Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit

Contact Info

Product

Resources

About