講演名 2018-12-18
[招待講演]安全な代理量子計算
小柴 健史(早大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 本稿では,安全な代理量子計算について紹介をする。観測ベース量子計算の基本事項を解説し,まず,代理量子計算を行う方法を示し,それを安全にする方法について言及する。その後,代表的なプロトコルであるBroabent-Fitzsimons-Kashefiのプロトコルの基本的な考え方を紹介し,その非対話版のMorimae-Fujiiプロトコルについて言及する。安全性はクライアントのプライバシーの観点から定義されているが,サーバーの不正に対応する検証可能性の観点からの解説をする。
抄録(英) In this manuscript, we take secure delegated quantum computation (SDQC). First, we explain the basics of measurement-based quantum computation. By using them, we show how to delegate quantum computation to a server. Then, we also take the privacy into account and show methods to guaranteethe privacy in delegated quantum computation. As example, we reviewthe Broadbent-Fitzimons-Kashefi SDQC protocol and its non-interactiveversion (Morimae-Fujii's protocol). Besides the privacy, the verifiability to check if the server does notdeviate from the expected execution is one of the important issue fromthe cryptographic point of view. We also consider the verifiabilityin SDQC protocols.
キーワード(和) 暗号理論 / 量子計算 / 量子暗号 / 暗号プロトコル / 代理計算 / プライバシー / 検証可能性
キーワード(英) Foundation of Cryptography / Quantum Computation / Quantum Cryptography / Cryptographic Protocols / Delegated Computation / Privacy / Verifiability
資料番号 IT2018-33
発行日 2018-12-11 (IT)

研究会情報
研究会 IT
開催期間 2018/12/18(から1日開催)
開催地(和) スパリゾートハワイアンズ
開催地(英) Spa Resort Hawaiians
テーマ(和) 若手研究者のための講演会(招待講演のみ)
テーマ(英) Lectures for Young Researchers (Invited talks only)
委員長氏名(和) 村松 純(NTT)
委員長氏名(英) Jun Muramatsu(NTT)
副委員長氏名(和) 和田山 正(名工大)
副委員長氏名(英) Tadashi Wadayama(Nagoya Inst. of Tech.)
幹事氏名(和) 太田 隆博(長野県工科短大) / 八木 秀樹(電通大)
幹事氏名(英) Takahiro Ohta(Nagano Pref Inst. of Tech.) / Hideki Yagi(UEC)
幹事補佐氏名(和) 吉田 隆弘(横浜商科大)
幹事補佐氏名(英) Takahiro Yoshida(Yokohama College of Commerce)

講演論文情報詳細
申込み研究会 Technical Committee on Information Theory
本文の言語 JPN
タイトル(和) [招待講演]安全な代理量子計算
サブタイトル(和)
タイトル(英) [Invited Talk] Secure Delegated Quantum Computation
サブタイトル(和)
キーワード(1)(和/英) 暗号理論 / Foundation of Cryptography
キーワード(2)(和/英) 量子計算 / Quantum Computation
キーワード(3)(和/英) 量子暗号 / Quantum Cryptography
キーワード(4)(和/英) 暗号プロトコル / Cryptographic Protocols
キーワード(5)(和/英) 代理計算 / Delegated Computation
キーワード(6)(和/英) プライバシー / Privacy
キーワード(7)(和/英) 検証可能性 / Verifiability
第 1 著者 氏名(和/英) 小柴 健史 / Takeshi Koshiba
第 1 著者 所属(和/英) 早稲田大学(略称:早大)
Waseda University(略称:Waseda Univ.)
発表年月日 2018-12-18
資料番号 IT2018-33
巻番号(vol) vol.118
号番号(no) IT-369
ページ範囲 pp.13-18(IT),
ページ数 6
発行日 2018-12-11 (IT)