頑健な量子状態復号とルジャンドル列の疑似乱数性
スポンサーリンク
概要
- 論文の詳細を見る
ハードコア関数は一方向性関数から疑似乱数生成器を構成するための現代暗号や計算量理論における基本的な要素の一つである.本稿では量子一方向性関数に対する多ビット出力のハードコア関数の一般的構成方法を与える.この構成方法は河内と山上によって導入された量子状態復号に対する頑健な量子質問アルゴリズムに基づいており,彼らの方法が1ビット出力であったのをアルゴリズムの頑健性をより高めることにより多ビット出力へ一般化している.この構成方法を用いてDamgardがCRYPTO'88で導入し,そのハードコア性が予想されていたルジャンドル生成器の量子一方向性関数に対するハードコア性を証明する.
- 2010-10-08
著者
-
草川 恵太
東京工業大学情報理工学研究科
-
河内 亮周
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
草川 恵太
NTT情報流通プラットフォーム研究所
-
河内 亮周
Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
-
河内 亮周
東京工業大学数理・計算科学専攻
-
河内 亮周
東京工業大学
関連論文
- 格子に基づく代理人再暗号方式 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 計算量理論における乱数(学生/教養のページ)
- NFALSE : 多項式環に基づくより高速な公開鍵暗号 (理論計算機科学の深化と応用)
- 量子計算における整数格子問題へのアプローチ(量子情報処理論文)
- NP困難問題における最悪時困難性からの平均時困難性証明への試み
- 頑健な量子状態復号とルジャンドル列の疑似乱数性
- D-1-5 量子有限オートマトンの類似性判定アルゴリズム(D-1. コンピュテーション)
- Robust Quantum Algorithms for Oracle Identification (Theoretical Computer Science and its Applications)
- オラクル同定問題に対する頑健な量子アルゴリズム
- ビンとボールのゲームにおける2ビン選択モデルの一般化
- 探索問題における一般的な量子オラクルの質問回数について
- A-1 3関数に対する量子クロー探索アルゴリズム(計算量・量子計算,A.アルゴリズム・基礎)
- 占有問題に対する量子アルゴリズム
- 伸長係数2のコンパクトラウティングアルゴリズム (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- A Lattice-Based Cryptosystem and Proof of Knowledge on Its Secret Key(Theory of Computer Science and Its Applications)
- Multi-Bit Cryptosystems based on Lattice Problems : Extended Abstract(New Trends in Theory of Computation and Algorithm)
- Geometric Characterization of Quantum Oracle Identification(New Trends in Theory of Computation and Algorithm)
- 任意の量子一方向性関数に対するハードコア述語の一般的構成法
- Quantum Biased Oracles (特集:量子計算と量子情報)
- 定数ラウンドで復元可能な合理的秘密分散
- 計算論的安全性に基づく量子暗号
- 任意の量子一方向性関数に対するハードコア述語の一般的構成法
- 素体上多項式に対する計算困難な関数
- Gowers一様性による剰余関数と多項式の相関の評価 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- Quantum Sampling for Balanced Allocations(Foundations of Computer Science)
- Complexity-Theoretical Quantum List Decoding and Applications to Quamtum Hardcore Functions (計算理論とアルゴリズムの新展開 RIMS研究集会報告集)
- DS-1-3 A Compact Signature Scheme with Ideal Lattice (Extended Abstract)
- Rational Secret Sharing for Non-Simultaneous Channels (情報理論)
- リスト復号の質問計算量
- 非同時通信路における合理的秘密分散(情報セキュリティ)
- NP-解探索における質問計算量について
- A Fourier analytic approach to list-decoding for sparse random linear codes (New Trends in Theoretical Computer Science)
- Query Complexity of Witness Finding (コンピュテーション)
- NP-解探索における質問計算量について(一般)
- 計算複雑さへの招待(2) : アルゴリズムから攻める計算複雑さの下界証明(【特別企画】「計算限界解明」チュートリアル講演第2回)
- Quantum-Advised Algorithms for Biased Oracles (コンピュテーション)
- 非同時通信路における合理的秘密分散