English
Related papers

Related papers: End-to-end verifiability

200 papers

This note provides an introduction to the PPATS Commitment Consistent Encryption (CCE) scheme proposed by Cuvelier, Pereira and Peters and its use in the design of end-to-end verifiable elections with a perfectly private audit trail. These…

Cryptography and Security · Computer Science 2014-12-24 Olivier Pereira

A simple and practical method for achieving everlasting privacy in e-voting systems, without relying on advanced cryptographic techniques, is to use anonymous voter credentials. The simplicity of this approach may, however, create some…

Cryptography and Security · Computer Science 2025-11-14 Tomasz Truderung

Electronic voting procedures are implementations of electoral systems, making it possible to conduct polls or elections with the help of computers. This paper reports on the development of an open-source library of electronic voting…

Estonian Internet voting has been used in national-wide elections since 2005. However, the system was initially designed in a heuristic manner, with very few proven security guarantees. The Estonian Internet voting system has constantly…

Cryptography and Security · Computer Science 2021-09-07 Bingsheng Zhang , Zengpeng Li , Jan Willemson

In this paper, we assess existing technical proposals for content moderation in End-to-End Encryption (E2EE) services. First, we explain the various tools in the content moderation toolbox, how they are used, and the different phases of the…

Cryptography and Security · Computer Science 2022-02-10 Seny Kamara , Mallory Knodel , Emma Llansó , Greg Nojeim , Lucy Qin , Dhanaraj Thakur , Caitlin Vogus

Since 2004, different research was handling the challenges in the centralized voting systems, e-voting protocols and recently the decentralized voting. So electronic voting puts forward some difficulties regarding the voter anonymity, the…

Computers and Society · Computer Science 2018-03-01 Nazim Faour

Extreme edge computing (EEC) refers to the endmost part of edge computing wherein computational tasks and edge services are deployed only on extreme edge devices (EEDs). EEDs are consumer or user-owned devices that offer computational…

Networking and Internet Architecture · Computer Science 2022-08-12 Mhd Saria Allahham , Amr Mohamed , Aiman Erbad , Hossam Hassanein

Voting is a cornerstone of democracy, allowing citizens to express their will and make collective decisions. With advancing technology, online voting is gaining popularity as it enables voting from anywhere with Internet access, eliminating…

Cryptography and Security · Computer Science 2025-05-22 Ivan Homoliak , Tomáš Švondr

This paper presents two approaches of privacy-preserving voting system: Blind Signature-based Voting (BSV) and Homorphic Encryption Based Voting (HEV). BSV is simple, stable, and scalable, but requires additional anonymous property in the…

Cryptography and Security · Computer Science 2022-05-25 Zipeng Yan , Zichao Jiang , Yiyuan Li

Casting a ballot from a phone or laptop sounds appealing, but only if voters can be confident their choice remains secret and results cannot be altered in the dark. This paper proposes a hybrid blockchain-based voting model that stores…

Cryptography and Security · Computer Science 2025-10-02 Yousef Tahboub , Anthony Revilla , Jaydon Lynch , Greg Floyd

Selene is an e-voting protocol that allows voters to directly check their individual vote, in cleartext, in the final tally via a tracker system, while providing good coercion mitigation. This is in contrast to conventional, end-to-end…

Cryptography and Security · Computer Science 2021-06-01 Peter B. Roenne , Peter Y. A Ryan , Marie-Laure Zollinger

Verifiable decentralized federated learning (FL) systems combining blockchains and zero-knowledge proofs (ZKP) make the computational integrity of local learning and global aggregation verifiable across workers. However, they are not…

Machine Learning · Computer Science 2024-04-22 Chaehyeon Lee , Jonathan Heiss , Stefan Tai , James Won-Ki Hong

Code agents and empirical software engineering rely on public code datasets, yet these datasets lack verifiable quality guarantees. Static 'dataset cards' inform, but they are neither auditable nor do they offer statistical guarantees,…

Software Engineering · Computer Science 2025-10-03 Fatou Ndiaye Mbodji , El-hacen Diallo , Jordan Samhi , Kui Liu , Jacques Klein , Tegawendé F. Bissyande

Faith in the US electoral system is at risk. This issue stems from trust or lack thereof. Poor leaders ranted and attempted to sew discord in the democratic process and even tried to influence election results. Historically, the US has…

Cryptography and Security · Computer Science 2024-09-16 Adam Dorian Wong

As computer vision is prevalently used for mail-in ballot processing and counting, it becomes a point of centralized trust in postal voting. We propose DVote, a prototype system of postal voting that provides decentralized trust in computer…

Cryptography and Security · Computer Science 2022-02-21 Peichen Xie , Zihan Zheng , Xian Zhang , Shuo Chen

This paper describes ESPnet2-TTS, an end-to-end text-to-speech (E2E-TTS) toolkit. ESPnet2-TTS extends our earlier version, ESPnet-TTS, by adding many new features, including: on-the-fly flexible pre-processing, joint training with neural…

Voting is a very important issue which can be beneficial in term of choosing the right leader in an election. A good leader can bring prosperity to a country and also can lead the country in the right direction every time. However,…

Cryptography and Security · Computer Science 2019-10-31 Kazi Sadia , Md. Masuduzzaman , Rajib Kumar Paul , Anik Islam

Digital democracy and new forms for direct digital participation in policy making gain unprecedented momentum. This is particularly the case for preferential voting methods and decision-support systems designed to promote fairer, more…

Computers and Society · Computer Science 2024-08-08 Renato Kunz , Fatemeh Banaie , Abhinav Sharma , Carina I. Hausladen , Dirk Helbing , Evangelos Pournaras

Current DAO governance praxis limits organizational expressivity and reduces complex organizational decisions to token-weighted voting due to on-chain computational limits. This paper proposes verifiable off-chain computation (leveraging…

Computer Science and Game Theory · Computer Science 2025-12-30 Jake Hartnell , Eugenio Battaglia

Ethereum is an open-source, public, blockchain-based distributed computing platform and operating system featuring smart contract functionality. In this paper, we proposed an Ethereum based eletronic voting (e-voting) protocol, Ques-Chain,…

Cryptography and Security · Computer Science 2019-05-14 Qixuan Zhang , Bowen Xu , Haotian Jing , Zeyu Zheng