| 大会名称 |
|---|
| 2021年 総合大会 |
| 大会コ－ド |
| 2021G |
| 開催年 |
| 2021 |
| 発行日 |
| 2021-02-23 |
| セッション番号 |
| ADI-1 |
| セッション名 |
| 量子計算と暗号の進展 |
| 講演日 |
| 2021/3/9 |
| 講演場所(会議室等) |
| Webinar 3 |
| 講演番号 |
| ADI-1-2 |
| タイトル |
| 量子攻撃者に対する安全性証明技術の進展 |
| 著者名 |
| 河内亮周, |
| キーワード |
| 量子コンピューティング, 暗号プロトコル, 安全性証明 |
| 抄録 |
| 例えばランダムオラクルに量子的なアクセスが可能となるような量子攻撃者に対する暗号プロトコルの安全性証明において，従来利用されてきた技法がそのままでは利用できない状況が多々ある．本講演ではそのような状況においても暗号プロトコルの安全性を証明するための量子攻撃者特有の証明技術の進展について解説を行う． |
| 本文pdf |
|
PDF download
|