English
Related papers

Related papers: Auditing Indian Elections

200 papers

Verification and Validation (V&V) is a series of activities, technical and managerial, which performed by system tester not the system developer in order to improve the system quality, system reliability and assure that product satisfies…

Software Engineering · Computer Science 2012-10-16 A. Al-Neaimi , S. Qatawneh , Nedhal Al Saiyd

Opinion polls have now become a very important component of society because they are now a defacto component of our daily news cycle and because their results influence governments and business in ways which are not always obvious to us.…

Computers and Society · Computer Science 2020-07-09 Alan Smeaton , Hyowon Lee , Niamh Morris , David Hanley

Voting advice applications (VAAs), which have become increasingly prominent in European elections, are seen as a successful tool for boosting electorates' political knowledge and engagement. However, VAAs' complex language and rigid…

A central feature of many deliberative processes, such as citizens' assemblies and deliberative polls, is the opportunity for participants to engage directly with experts. While participants are typically invited to propose questions for…

Artificial Intelligence · Computer Science 2026-04-28 Soham De , Lodewijk Gelauff , Ashish Goel , Smitha Milli , Ariel Procaccia , Alice Siu

This paper presents the development of a process automation architecture leveraging Radio Frequency Identification (RFID) technology for secure, transparent and efficient voting systems. The proposed architecture automates the voting…

Cryptography and Security · Computer Science 2025-10-21 Stella N. Arinze , Patrick U. Okafor , Onyekachi M. Egwuagu , Augustine O. Nwajana

We present an approach for the verification and validation (V&V) of robot assistants in the context of human-robot interactions (HRI), to demonstrate their trustworthiness through corroborative evidence of their safety and functional…

The widescale deployment of Autonomous Vehicles (AV) seems to be imminent despite many safety challenges that are yet to be resolved. It is well known that there are no universally agreed Verification and Validation (VV) methodologies to…

Robotics · Computer Science 2020-03-05 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

Voter eligibility in United States elections is determined by a patchwork of state databases containing information about which citizens are eligible to vote. Administrators at the state and local level are faced with the exceedingly…

Cryptography and Security · Computer Science 2021-06-30 Sam Royston , Ben Greenberg , Omeed Tavasoli , Courtenay Cotton

Voting Advice Applications (VAA) are tools designed to help voters compare political candidates on policy preferences prior to elections. VAAs are popular tools in European countries and in other countries with multi-party democratic…

Computers and Society · Computer Science 2026-03-05 Giovanni Astante , Roberta Sinatra , Vedran Sekara

Voting procedures are designed and implemented by people, for people, and with significant human involvement. Thus, one should take into account the human factors in order to comprehensively analyze properties of an election and detect…

Multiagent Systems · Computer Science 2023-10-19 Wojciech Jamroga , Peter Y. A. Ryan , Yan Kim

Elections seem simple---aren't they just counting? But they have a unique, challenging combination of security and privacy requirements. The stakes are high; the context is adversarial; the electorate needs to be convinced that the results…

Elections where electors rank the candidates (or a subset of the candidates) in order of preference allow the collection of more information about the electors' intent. The most widely used election of this type is Instant-Runoff Voting…

Computers and Society · Computer Science 2023-12-06 Michelle Blom , Peter J. Stuckey , Vanessa Teague , Damjan Vukcevic

Observing electronic voting from an international point of view gives some perspective about its genesis and evolution. An analysis of the voting process through its cultural, ontological, legal and political dimensions explains the…

Computers and Society · Computer Science 2008-12-18 Chantal Enguehard , Jean-Didier Graton

Many democratic societies use district-based elections, where the region under consideration is geographically divided into districts and a representative is chosen for each district based on the preferences of the electors who reside…

Computers and Society · Computer Science 2022-03-09 Adway Mitra

E-voting systems are a powerful technology for improving democracy. Unfortunately, prior voting systems have single points-of-failure, which may compromise availability, privacy, or integrity of the election results. We present the design,…

After the Estonian Parliamentary Elections held in 2011, an additional verification mechanism was integrated into the i-voting system in order to resist corrupted voting devices, including the so called Student's Attack where a student…

Cryptography and Security · Computer Science 2016-12-16 Koksal Mus , Mehmet Sabir Kiraz , Murat Cenk , Isa Sertkaya

Large language models (LLMs) have shown increasing competence in solving mathematical reasoning problems. However, many open-source LLMs still struggle with errors in calculation and semantic understanding during intermediate reasoning…

Computation and Language · Computer Science 2024-12-18 Vernon Y. H. Toh , Deepanway Ghosal , Soujanya Poria

Postal voting is growing rapidly in the U.S., with 43% of voters casting ballots by mail in 2020, yet until recently there has been little research about extending the protections of end-to-end verifiable (E2E-V) election schemes to…

Cryptography and Security · Computer Science 2022-01-19 Braden L. Crimmins , Marshall Rhea , J. Alex Halderman

It has been widely recognized that automated bots may have a significant impact on the outcomes of national events. It is important to raise public awareness about the threat of bots on social media during these important events, such as…

Computers and Society · Computer Science 2020-06-05 Kai-Cheng Yang , Pik-Mai Hui , Filippo Menczer

We propose a method providing cast-as-intended verifiability for remote electronic voting. The method is based on plaintext equivalence tests (PETs), used to match the cast ballots against the pre-generated encrypted code tables. Our…

Cryptography and Security · Computer Science 2017-07-13 Achim Brelle , Tomasz Truderung
‹ Prev 1 3 4 5 6 7 10 Next ›