English
Related papers

Related papers: End-to-end verifiability

200 papers

We study the problem of simultaneously addressing both ballot stuffing and participation privacy for pollsite voting systems. Ballot stuffing is the attack where fake ballots (not cast by any eligible voter) are inserted into the system.…

Cryptography and Security · Computer Science 2023-05-23 Prashant Agrawal , Abhinav Nakarmi , Mahabir Prasad Jhanwar , Subodh Sharma , Subhashis Banerjee

User reporting is an essential component of content moderation on many online platforms -- in particular, on end-to-end encrypted (E2EE) messaging platforms where platform operators cannot proactively inspect message contents. However,…

Human-Computer Interaction · Computer Science 2023-06-21 Leijie Wang , Ruotong Wang , Sterling Williams-Ceci , Sanketh Menda , Amy X. Zhang

End-to-end learning treats the entire system as a whole adaptable black box, which, if sufficient data are available, may learn a system that works very well for the target task. This principle has recently been applied to several prototype…

Sound · Computer Science 2017-06-27 Dong Wang , Lantian Li , Zhiyuan Tang , Thomas Fang Zheng

We give an overview of the diverse electoral systems used in local, national, or super-national elections around the world. We discuss existing methods for selecting single and multiple winners and give real-world examples for some more…

Economics · Quantitative Finance 2016-10-25 Siamak F. Shahandashti

The proliferation of deepfake technologies poses urgent challenges and serious risks to digital integrity, particularly within critical sectors such as forensics, journalism, and the legal system. While existing detection systems have made…

Computer Vision and Pattern Recognition · Computer Science 2025-08-12 Shahroz Tariq , Simon S. Woo , Priyanka Singh , Irena Irmalasari , Saakshi Gupta , Dev Gupta

Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken. Runtime verification techniques present a natural source of inspiration for monitoring…

Cryptography and Security · Computer Science 2023-10-05 Robert Abela , Christian Colombo , Axel Curmi , Mattea Fenech , Mark Vella , Angelo Ferrando

Assessing and comparing the security level of different voting systems is non-trivial as the technical means provided for and societal assumptions made about various systems differ significantly. However, trust assumptions concerning the…

Cryptography and Security · Computer Science 2023-09-20 Kristjan Krips , Nikita Snetkov , Jelizaveta Vakarjuk , Jan Willemson

With the rapid advancement of autonomous driving technology, vehicle-to-everything (V2X) communication has emerged as a key enabler for extending perception range and enhancing driving safety by providing visibility beyond the line of…

Contributing to the toolbox for interpreting election results, we evaluate the robustness of election winners to random noise. We compare the robustness of different voting rules and evaluate the robustness of real-world election winners…

Computer Science and Game Theory · Computer Science 2022-08-30 Niclas Boehmer , Robert Bredereck , Piotr Faliszewski , Rolf Niedermeier

With the widespread consumption of AI-generated content, there has been an increased focus on developing automated tools to verify the factual accuracy of such content. However, prior research and tools developed for fact verification treat…

Computation and Language · Computer Science 2025-03-20 Varich Boonsanong , Vidhisha Balachandran , Xiaochuang Han , Shangbin Feng , Lucy Lu Wang , Yulia Tsvetkov

Identity verification is a critical gateway to accessing government services and public benefits, yet contemporary systems are typically designed around visual interaction, leaving blind and low vision (BLV) individuals disproportionately…

Human-Computer Interaction · Computer Science 2026-05-01 Ryan John Oommen , Tanusree Sharma

Paper ballot voting with its fully-reviewable paper-trail is usually considered as more secure than their e-voting counterparts, given the large number of recent incidents. In this work, we explore the security of paper voting and show that…

Cryptography and Security · Computer Science 2020-11-30 David M. Sommer , Moritz Schneider , Jannik Gut , Srdjan Capkun

An election is a process through which citizens in liberal democracies select their governing bodies, usually through voting. For elections to be truly honest, people must be able to vote freely without being subject to coercion; that is…

Cryptography and Security · Computer Science 2016-08-30 Tomer Ashur , Orr Dunkelman , Nimrod Talmon

In this work, we study the interface of the Brazilian e-Voting Machine (BVM) in the context of electromagnetic side-channel threats commonly referred to as TEMPEST attacks. In a TEMPEST attack against video displays, an eavesdropper uses…

Cryptography and Security · Computer Science 2026-05-26 Leonardo Teodoro , Kemuel L. Vieira , Saulo Queiroz

In an age of surveillance capitalism, anchoring the design of emerging smart services in trustworthiness is urgent and important. Edge Intelligence, which brings together the fields of AI and Edge computing, is a key enabling technology for…

Audio and Speech Processing · Electrical Eng. & Systems 2022-06-22 W. T. Hutiri , A. Y. Ding

E-voting systems (EVS)are having potential advantages over many existing voting schemes.Security, transparency, accuracy and reliability are the major concern in these systems.EVS continues to grow as the technology advances.It is…

Cryptography and Security · Computer Science 2015-02-27 Divya G. Nair , V. P. Binu , G. Santhosh Kumar

Online voting enables individuals to participate in elections remotely, offering greater efficiency and accessibility in both governmental and organizational settings. As this method gains popularity, ensuring the security of online voting…

Cryptography and Security · Computer Science 2025-09-22 Anastasiia Belousova , Francesco Marchiori , Mauro Conti

The paper concerns the protection of the secrecy of ballots, so that the identity of the voters cannot be matched with their vote. To achieve this we use an entangled quantum state to represent the ballots. Each ballot includes the identity…

Quantum Physics · Physics 2007-05-23 Shahar Dolev , Itamar Pitowsky , Boaz Tamir

The efficient design of fifth generation (5G) mobile networks is driven by the need to support the dynamic proliferation of several vertical market segments. Considering the automotive sector, different Cellular Vehicle-to-Everything…

Signal Processing · Electrical Eng. & Systems 2018-02-23 Mustafa Emara , Miltiades C. Filippou , Dario Sabella