研究課題
国際共同研究加速基金(海外連携研究)
Shorのアルゴリズムの考案により、量子時代には現在使用されている公開鍵暗号方式は安全でなくなることが知られている。それらを技術コンポーネントとして利用しているTLSなどのセキュリティプロトコルも安全でなくなる。この課題に対処するために、耐量子性セキュリティプロトコルが設計されている。本研究では、耐量子性セキュリティプロトコルの論理基盤の整備、そのようなプロトコルの形式検証技術の考案、考案した形式検証技術の支援ツールの作成を行う。