English
Related papers

Related papers: STAR-Vote: A Secure, Transparent, Auditable, and R…

200 papers

In this work, we present Web-STAR, an online platform for story understanding built on top of the STAR (STory comprehension through ARgumentation) reasoning engine. This platform includes a web-based IDE, integration with the STAR system…

Human-Computer Interaction · Computer Science 2017-06-22 Christos Rodosthenous , Loizos Michael

Today, Internet involves many actors who are making revenues on it (operators, companies, service providers,...). It is therefore important to be able to make fair decisions in this large-scale and highly competitive economical ecosystem.…

Networking and Internet Architecture · Computer Science 2012-05-01 François Durand , Fabien Mathieu , Ludovic Noirie

We revisit the recent breakthrough result of Gkatzelis et al. on (single-winner) metric voting, which showed that the optimal distortion of 3 can be achieved by a mechanism called Plurality Matching. The rule picks an arbitrary candidate…

Computer Science and Game Theory · Computer Science 2025-02-05 Fatih Erdem Kizilkaya , David Kempe

We focus on the strategyproofness of voting systems where voters must choose a number of options among several possibilities. These systems include those that are used for Participatory Budgeting, where we organize an election to determine…

Computer Science and Game Theory · Computer Science 2022-10-07 Johanne Cohen , Daniel Cordeiro , Valentin Dardilhac , Victor Glaser

Risk-limiting audits (RLAs) are an increasingly important method for checking that the reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being legislated. While effective methods for RLAs have been…

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

Nowadays, as more and more systems achieve good performance in traditional voice conversion (VC) tasks, people's attention gradually turns to VC tasks under extreme conditions. In this paper, we propose a novel method for zero-shot voice…

Sound · Computer Science 2023-04-04 Haozhe Zhang , Zexin Cai , Xiaoyi Qin , Ming Li

This paper introduces an efficient and accurate pipeline for text-dependent speaker verification (TDSV), designed to address the need for high-performance biometric systems. The proposed system incorporates a Fast-Conformer-based ASR module…

Sound · Computer Science 2024-11-26 Mohammadreza Molavi , Reza Khodadadi

Publish/subscribe systems play a key role in enabling communication between numerous devices in distributed and large-scale architectures. While widely adopted, securing such systems often trades portability for additional integrity and…

Cryptography and Security · Computer Science 2023-12-04 Jämes Ménétrey , Aeneas Grüter , Peterson Yuhala , Julius Oeftiger , Pascal Felber , Marcelo Pasin , Valerio Schiavoni

Quantum information protocols offer significant advantages in properties such as security, anonymity, and privacy for communication and computing tasks. An application where guaranteeing the highest possible security and privacy is critical…

Quantum Physics · Physics 2025-12-04 Nicolas Laurent-Puig , Matilde Baroni , Federico Centrone , Eleni Diamanti

This article aims to present a unified framework for grading-based voting processes. The idea is to represent the grades of each voter on d candidates as a point in R^d and to define the winner of the vote using the deepest point of the…

Other Statistics · Statistics 2021-12-21 Jean-Baptiste Aubin , Irène Gannaz , Samuela Leoni-Aubin , Antoine Rolland

A voting center is in charge of collecting and aggregating voter preferences. In an iterative process, the center sends comparison queries to voters, requesting them to submit their preference between two items. Voters might discuss the…

Computers and Society · Computer Science 2019-09-24 Lihi Dery , Svetlana Obraztsova , Zinovi Rabinovich , Meir Kalech

Blockchain technology offers a promising foundation for modernizing E-Voting systems by enhancing transparency, decentralization, and security. Yet, real-world adoption remains limited due to persistent challenges such as scalability…

Cryptography and Security · Computer Science 2025-10-06 Kiana Kiashemshaki , Elvis Nnaemeka Chukwuani , Mohammad Jalili Torkamani , Negin Mahmoudi

With the demand for autonomous control and personalized speech generation, the style control and transfer in Text-to-Speech (TTS) is becoming more and more important. In this paper, we propose a new TTS system that can perform style…

Sound · Computer Science 2023-07-12 Wenhao Guan , Tao Li , Yishuang Li , Hukai Huang , Qingyang Hong , Lin Li

Remote Attestation (RA) enables the integrity and authenticity of applications in Trusted Execution Environment (TEE) to be verified. Existing TEE RA designs employ a centralized trust model where they rely on a single provisioned secret…

Cryptography and Security · Computer Science 2024-08-12 Xiaolin Zhang , Kailun Qin , Shipei Qu , Tengfei Wang , Chi Zhang , Dawu Gu

For the ITER-like wall, the JET mirror link divertor spectroscopy system was redesigned to fully cover the tungsten horizontal strike plate with faster time resolution and improved near-UV performance. Since the ITER-like wall project…

The shift towards increased remote work and digital communication, driven by recent global developments, has led to the widespread adoption of i-voting systems, including in academic institutions. This paper critically evaluates the use of…

Computers and Society · Computer Science 2025-11-04 Tomas Martinek , Michal Maly

This work presents STAR, the first end-to-end speech-to-audio generation framework, designed to enhance efficiency and address error propagation inherent in cascaded systems. Unlike prior approaches relying on text or vision, STAR leverages…

Sound · Computer Science 2025-09-23 Zeyu Xie , Xuenan Xu , Yixuan Li , Mengyue Wu , Yuexian Zou

Simultaneously transmitting and reflecting reconfigurable intelligent surfaces (STAR-RISs) have emerged as a promising technology for enabling full-space signal manipulation and enhancing wireless network coverage and capacity. In this…

Signal Processing · Electrical Eng. & Systems 2025-12-15 Taissir Y. Elganimi , Mahmoud Aldababsa , Ali A. Nasir , Khaled M. Rabie

Quantum Anonymous Veto (QAV) protocols enable secure and anonymous decision-making by allowing participants to detect the presence of a veto without revealing individual choices. While existing QAV schemes offer strong theoretical…

Quantum Physics · Physics 2026-04-07 Ravi Sangwan , Harishankar Mishra , Henry Sukumar , Gudapati Naresh Raghava

Resource allocations in an election system, often with hundreds of polling locations over a territory such as a county, with the aim that voters receive fair and efficient services, is a challenging problem, as election resources are…

Optimization and Control · Mathematics 2025-03-07 Tiankuo Zhang , Benoit Montreuil , Ali V Barenji , Praveen Muthukrishnan
‹ Prev 1 8 9 10 Next ›