論文の概要: Secrecy and Verifiability: An Introduction to Electronic Voting

• arxiv url: http://arxiv.org/abs/2602.12398v1
• Date: Thu, 12 Feb 2026 20:48:47 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-16 23:37:53.748386
• Title: Secrecy and Verifiability: An Introduction to Electronic Voting
• Title（参考訳）: セキュリティと検証可能性 - 電子投票入門
• Authors: Paul Keeler, Ben Smyth,
• Abstract要約: 電子投票システムには、投票の秘密性と検証性という2つの重要な性質が必要であると我々は主張する。 完全なブラックボックスである選挙スキームは、投票の秘密を提供するが、結果の検証は不可能である。 このチュートリアルは、電子投票以外の読者にこれらのアイデアをアクセスできるようにする。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Democracies are built upon secure and reliable voting systems. Electronic voting systems seek to replace ballot papers and boxes with computer hardware and software. Proposed electronic election schemes have been subjected to scrutiny, with researchers spotting inherent faults and weaknesses. Inspired by physical voting systems, we argue that any electronic voting system needs two essential properties: ballot secrecy and verifiability. These properties seemingly work against each other. An election scheme that is a complete black box offers ballot secrecy, but verification of the outcome is impossible. This challenge can be tackled using standard tools from modern cryptography, reaching a balance that delivers both properties. This tutorial makes these ideas accessible to readers outside electronic voting. We introduce fundamental concepts such as asymmetric and homomorphic encryption, which we use to describe a general electronic election scheme while keeping mathematical formalism minimal. We outline game-based cryptography, a standard approach in modern cryptography, and introduce notation for formulating elections as games. We then give precise definitions of ballot secrecy and verifiability in the framework of game-based cryptography. A principal aim is introducing modern research approaches to electronic voting.
• Abstract（参考訳）: 民主主義は安全で信頼性の高い投票システムの上に構築されている。 電子投票システムは、投票用紙と箱をコンピュータハードウェアとソフトウェアで置き換えようとしている。 提案された電子選挙スキームは精査の対象となり、研究者は固有の欠陥と弱点を発見した。 物理的な投票システムに触発されて、電子投票システムには投票の秘密性と検証性という2つの重要な性質が必要であると論じる。 これらの性質は相互に作用するように見える。 完全なブラックボックスである選挙スキームは、投票の秘密を提供するが、結果の検証は不可能である。 この課題は、モダン暗号の標準ツールを使用して対処することができ、両方のプロパティを提供するバランスに達する。 このチュートリアルは、電子投票以外の読者にこれらのアイデアをアクセスできるようにする。 数学的フォーマリズムを極小に保ちながら、一般的な電子選挙方式を記述するために用いられる非対称暗号や準同型暗号などの基本的な概念を紹介する。 我々は,現代暗号における標準的なアプローチであるゲームベースの暗号について概説し,選挙をゲームとして定式化するための表記法を紹介した。 次に、ゲームベースの暗号の枠組みにおいて、投票の秘密性と検証可能性の正確な定義を与える。 電子投票に近代的な研究手法を導入することが主な目的である。

関連論文リスト

• Inference Attacks on Encrypted Online Voting via Traffic Analysis [19.653420340564946]
  本稿では,オンライン投票において,暗号化されたネットワークトラフィックのメタデータを利用して機密情報を明らかにする方法について検討する。 分析の結果, コンテンツにアクセスすることなく, 投票者が投票したかどうか, 投票が提出された正確なタイミング, 投票が有効か損なわれるかなど, 重要な投票者の行動を推測できることがわかった。 我々は2つの広く利用されているオンライン投票プラットフォーム(プロプライエタリと部分的にオープンソース)に対する攻撃を評価し、99.5%の分類精度を達成した。
  論文  参考訳（メタデータ） (2025-09-19T07:14:01Z)
• Efficient Lower Bounding of Single Transferable Vote Election Margins [56.12949230611067]
  STV (Single Transferable vote) は、複数議席の選挙において、優先的な比例投票方式である。 勝利のマージン(英: margin of victory)は、勝利者の集合を変えるために操作される必要のある最小数の投票である。 マージンの低い境界は、正確なマージンを計算するのが難しい場合、この目的のためにも使われる。
  論文  参考訳（メタデータ） (2025-01-24T13:39:23Z)
• Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE [61.872917066847855]
  即時投票(IRV)選挙の監査方法は、リスク制限や、各投票における投票の電子的記録であるキャスト投票記録(CVR)を必要とするものではない。 我々は,CVRが利用できない場合に,適応的に重み付けされたテストスーパーマーチンガルを用いてITV選挙を効率よく監査するRLA手法を開発した。
  論文  参考訳（メタデータ） (2023-07-20T15:55:34Z)
• Secure Order Based Voting Using Distributed Tallying [5.407319151576265]
  電子投票システムの主な課題の1つは、計算結果がキャスト投票と一致していることを示すことである。 本稿では,秩序に基づく投票規則によって規制された選挙のためのセキュアな投票プロトコルを提案する。 我々のプロトコルは、集計タスクを複数の独立した集計業者に分散させ、完全な投票秘密を提供する。
  論文  参考訳（メタデータ） (2022-05-21T12:17:21Z)
• Expected Frequency Matrices of Elections: Computation, Geometry, and Preference Learning [58.23459346724491]
  我々は、Szufa et al.(AAMAS 2020)の「選挙マップ」アプローチを用いて、よく知られた投票分布を分析します。 分布の「スケルトン写像」を描き、その頑健さを評価し、その性質を分析する。
  論文  参考訳（メタデータ） (2022-05-16T17:40:22Z)
• Obvious Manipulability of Voting Rules [105.35249497503527]
  Gibbard-Satterthwaite の定理は、全会一致で非独裁的な投票規則は、戦略的なものではないと述べる。 我々は投票規則を再検討し、明らかでない操作性という戦略的安全性の弱い概念を考察する。
  論文  参考訳（メタデータ） (2021-11-03T02:41:48Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。