論文の概要: On recoverability from failures in dual voting
- arxiv url: http://arxiv.org/abs/1908.09557v7
- Date: Sat, 20 May 2023 00:20:41 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-24 09:04:28.185061
- Title: On recoverability from failures in dual voting
- Title（参考訳）: 二重投票における失敗からの回復可能性について
- Authors: Prashant Agrawal, Kabir Tomer, Abhinav Nakarmi, Mahabir Prasad
Jhanwar, Subodh Sharma, Subhashis Banerjee
- Abstract要約: 本稿では、E2E-Vの正式な保証とVVPRに基づく監査の簡易さを組み合わせた二重投票における選挙からの回復を提案する。
我々はマルチポーリングブースの選挙に焦点をあて、そのようなプロトコルの回復可能性の概念を正式に定義する。
- 参考スコア（独自算出の注目度）: 0.8971132850029492
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Verifiable voting systems have been around for a while. There are two primary
approaches for achieving verifiability: a) through end-to-end verifiable voting
(E2E-V) systems that offer cryptographic guarantees of correctness, and b)
through risk-limiting audit systems that do not rely on cryptography but verify
the tally reported by an electronic vote tabulation system against
voter-verified paper records (VVPRs). However, while end-to-end verifiable
methods lack easy methods of recovery in case elections fail to verify,
risk-limiting audit based methods usually require the electorate to trust the
post-election custody chain of the VVPRs. In this paper we examine recovery
from elections in dual voting, which combines the formal guarantees of E2E-V
with the simplicity of VVPR-based audit.
We argue that large public elections should not only be publicly verifiable,
but, in case of verification failures, there should also be transparent methods
of recovery without necessarily re-running entire elections. We focus on
multi-polling booth elections and formally define the concept of recoverability
for such protocols. Informally, our formulation captures the ability to
verifiably identify the polling booths contributing to verification failures,
and the partial tally contributed by the other booths, without leaking any
additional information. This enables possible recovery through limited
re-polling, without necessitating a complete re-run of the election or
privileging the paper tally over the electronic one. We also propose a
multi-polling booth voting protocol called \emph{OpenVoting} that achieves our
proposed recoverability requirements.
- Abstract（参考訳）: 検証可能な投票システムは、しばらく前からある。
検証可能性を達成するための2つの主要なアプローチがある。
a) 正当性の暗号保証を提供するエンドツーエンド検証投票システム(E2E-V)
b) 暗号に頼らず、電子投票集計システムによって報告された投票者検証紙記録(vvprs)に対する集計を検証したリスク制限監査システム
しかしながら、選挙が検証できない場合、エンドツーエンドの検証方法には簡単な回復方法が欠けているが、リスク制限監査に基づく手法では、通常、選挙人はVVPRの選挙後管理チェーンを信頼する必要がある。
本稿では、E2E-Vの正式な保証とVVPRに基づく監査の簡易さを組み合わせた二重投票における選挙の回復について検討する。
我々は、大規模な選挙は公に検証できるだけでなく、検証の失敗の場合は、必ずしも選挙全体を再実施することなく、透明な回復方法が存在するべきだと主張する。
我々は,マルチポーリングブース選挙に注目し,このようなプロトコルの回復可能性の概念を正式に定義する。
非公式に,検証失敗に寄与するポーリングブースと,他のブースが提供した部分的な集計を,追加情報を漏らすことなく有効に識別することができる。
これにより、選挙の完全な再実行を必要とせず、あるいは電子的よりも高い紙を盗むことなく、リポーリングによるリカバリが可能となる。
また,提案する回収性要件を満たすマルチポーリングブース投票プロトコル \emph{openvoting} を提案する。
関連論文リスト
- Efficient Lower Bounding of Single Transferable Vote Election Margins [56.12949230611067]
STV (Single Transferable vote) は、複数議席の選挙において、優先的な比例投票方式である。
勝利のマージン(英: margin of victory)または単にマージン(英: margin)は、もし操作された場合、勝者の集合を変えることができる最小数の投票である。
マージンの低い境界は、正確なマージンを計算するのが難しい場合、この目的のためにも使われる。
論文 参考訳（メタデータ） (2025-01-24T13:39:23Z) - Optimal bounds for dissatisfaction in perpetual voting [84.02572742131521]
我々は、投票者が何回も不満を抱いていないことを保証し、永遠の投票方法を考える。
我々は、不満のサブ線形成長が可能な有権者行動に関する十分な条件を特定する。
本稿では,専門家の助言による予測から得られた標準手法に基づいて,紛争条件下での不満をサブ線形に保証する投票手法を提案する。
論文 参考訳（メタデータ） (2024-12-20T19:58:55Z) - MERGE: Matching Electronic Results with Genuine Evidence for verifiable voting in person at remote locations [2.206168301581203]
本稿では,電子投票の速さと紙返却の信頼性を組み合わせたMERGEプロトコルを提案する。
このプロトコルにより、有権者は投票の電子的記録を迅速に提出し、同時に紙票を送信して検証を行うことができる。
電子記録は予備的な結果に使用することができるが、紙の投票は時間が経過した場合にはリスク限界監査(RLA)で使用され、選挙の完全性を保証する。
論文 参考訳（メタデータ） (2024-10-09T09:19:01Z) - Iniva: Inclusive and Incentive-compatible Vote Aggregation [0.0]
本稿では,インクルーシブでインセンティブに適合する投票アグリゲーション方式であるInivaについて述べる。
Inivaは、個々の投票を省略する機会を著しく減らし、多くの投票を省略することでかなりのコストがかかることを保証している。
分析の結果、Inivaは個々の投票を省略する機会を著しく減らし、多くの投票を省くのにかなりのコストがかかることがわかった。
論文 参考訳（メタデータ） (2024-04-07T12:59:40Z) - The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording [51.82772358241505]
リスクリミット監査(リスクリミット監査、RLA)は、大規模な選挙の結果を検証する技術である。
我々は、効率を改善し、統計力の進歩を提供する監査の新たなファミリーを定めている。
新しい監査は、複数の可能なマーク解釈を宣言できるように、キャストボイトレコードの標準概念を再考することで実現される。
論文 参考訳（メタデータ） (2024-02-09T16:23:54Z) - Short Voting Codes For Practical Code Voting [0.0]
セットアップと投票フェーズの両方で複雑な暗号化を回避するプロトコルに、このメカニズムを組み込む。
セットアップを信頼し、複数のサーバコンポーネントのうちの1つとして、投票秘密、キャスト・アズ・ア・キャスト、集計・アズ・ア・レコーダ、信頼性、普遍的検証を提供する。
論文 参考訳（メタデータ） (2023-11-21T16:25:17Z) - Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE [61.872917066847855]
即時投票(IRV)選挙の監査方法は、リスク制限や、各投票における投票の電子的記録であるキャスト投票記録(CVR)を必要とするものではない。
我々は,CVRが利用できない場合に,適応的に重み付けされたテストスーパーマーチンガルを用いてITV選挙を効率よく監査するRLA手法を開発した。
論文 参考訳（メタデータ） (2023-07-20T15:55:34Z) - Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps [23.14629947453497]
ランク付けされた投票システムは世界中の多くの場所で使用されている。
フルハンドカウント以外に、STVのリスク制限監査(RLA)手法は知られていない。
本稿では,高次元パラメータを計算的に効率的に扱える統計モデルDirichlet-treeを用いたランキングシステムの監査手法を提案する。
論文 参考訳（メタデータ） (2022-06-29T13:06:42Z) - Towards Secure Virtual Elections: Multiparty Computation of Order Based Voting Rules [5.156484100374059]
電子投票システムの主な課題の1つは、計算結果がキャスト投票と一致していることを示すことである。
本稿では,秩序に基づく投票規則によって規制された選挙のためのセキュアな投票プロトコルを提案する。
我々のプロトコルは、必要な出力のみを発行するという意味で、完全な投票秘密を提供するが、キャスト投票に関する他の情報は明らかにしない。
論文 参考訳（メタデータ） (2022-05-21T12:17:21Z) - Obvious Manipulability of Voting Rules [105.35249497503527]
Gibbard-Satterthwaite の定理は、全会一致で非独裁的な投票規則は、戦略的なものではないと述べる。
我々は投票規則を再検討し、明らかでない操作性という戦略的安全性の弱い概念を考察する。
論文 参考訳（メタデータ） (2021-11-03T02:41:48Z) - Bribery as a Measure of Candidate Success: Complexity Results for
Approval-Based Multiwinner Rules [58.8640284079665]
有権者が承認投票(すなわち、承認した候補者の集合)を投じた場合のマルチウィナー選挙における贈収賄の問題を研究する。
我々は、いくつかの承認ベースのマルチウィナールール(AV、SAV、GAV、RAV、承認ベースのチェンバリン--Courant、およびPAV)を検討します。
一般に、我々の問題は、勝利した委員会の候補者の承認数を増やすための贈収賄行為を制限した場合、より容易になる傾向がある。
論文 参考訳（メタデータ） (2021-04-19T08:26:40Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。