論文の概要: 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} を提案する。
関連論文リスト
- Iniva: Inclusive and Incentive-compatible Vote Aggregation [0.0]
本稿では,インクルーシブでインセンティブに適合する投票アグリゲーション方式であるInivaについて述べる。
Inivaは、個々の投票を省略する機会を著しく減らし、多くの投票を省略することでかなりのコストがかかることを保証している。
分析の結果、Inivaは個々の投票を省略する機会を著しく減らし、多くの投票を省くのにかなりのコストがかかることがわかった。
論文 参考訳(メタデータ) (2024-04-07T12:59:40Z) - Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections [57.67176250198289]
AWAIREは、適応的に重み付けされたテスト統計量であり、本質的には、テストに有効な仮説のセットを「学習」する。
我々は、より広範囲にスキームと設定を検討し、実践のための効率的な選択を特定し、推奨する。
現在のAWAIRE実装の制限は、少数の候補者に限られている。
論文 参考訳(メタデータ) (2024-02-18T10:13:01Z) - 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) - Private Multi-Winner Voting for Machine Learning [48.0093793427039]
本稿では,2進数,$tau$,Powerset投票の3つの新しいDPマルチウィンナ機構を提案する。
バイナリ投票は、構成を通じてラベルごとに独立して行われる。
$tau$ voting bounds vote in their $ell$ norm for tight data-independent guarantees。
パワーセット投票は、可能な結果をパワーセットとして見ることによって、バイナリベクター全体を操作する。
論文 参考訳(メタデータ) (2022-11-23T20:06:46Z) - 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) - Security Survey and Analysis of Vote-by-Mail Systems [0.0]
本稿では,オンライン投票者登録やオンライン投票追跡システムなど,電子メールによる投票に使用される電子システムのセキュリティについて検討する。
一部の州では、オンライン投票者登録システムには、敵が投票者の登録を変更するか、効果的に防止できる脆弱性がある。
さらに、投票追跡システムでは、投票者データへのアクセスの容易さに関する深刻なプライバシー問題が発生することもわかりました。
論文 参考訳(メタデータ) (2020-05-18T02:18:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。