• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

量子計算機に対してシームレス安全な暗号基盤の構築

Research Project

Project/Area Number 23K21669
Project/Area Number (Other) 21H03443 (2021-2023)
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeMulti-year Fund (2024)
Single-year Grants (2021-2023)
Section一般
Review Section Basic Section 60070:Information security-related
Research InstitutionOsaka University

Principal Investigator

宮地 充子  大阪大学, 大学院工学研究科, 教授 (10313701)

Co-Investigator(Kenkyū-buntansha) 田中 清史  北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (20333445)
Project Period (FY) 2021-04-01 – 2026-03-31
Project Status Granted (Fiscal Year 2024)
Budget Amount *help
¥17,030,000 (Direct Cost: ¥13,100,000、Indirect Cost: ¥3,930,000)
Fiscal Year 2025: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2024: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2023: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2022: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2021: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Keywords耐量子暗号 / 楕円曲線 / FPGA / IoT
Outline of Research at the Start

各種IoT機器が収集する莫大なデータの活用によりSociety5.0の実現が期待されている. IoT機器のデータの信頼性確保には高い安全性が実現できる公開鍵暗号が必須であるが,公開鍵暗号は計算量と必要なメモリ量が大きく,コンパクトな公開鍵暗号の設計が必須である.サービス継続性の観点から,量子計算機実現時にも,シームレス安全な暗号の設計は喫緊の課題といえる.
本研究では,シームレス安全を実現するIoT機器向け高速かつコンパクトな公開鍵暗号及び耐量子暗号を構築し,その有効性を実証し、量子計算機実現時にも安全なIoT機器環境を構築し,我が国のSociety5.0の実現に寄与することを目的とする.

Outline of Annual Research Achievements

本研究はIoT機器のシームレス安全な暗号アクセラレーションハードウェアを実現することを目的としている.このために,暗号強度を高めるための計算量増大と組込み機器への搭載のためのコンパクト性という相反する要求に加え,従来の公開鍵暗号方式から耐量子暗号方式へのシームレス安全を達成する高効率な暗号ハードウェアの構築が可能であるかを明らかにする必要がある.
初年度に設計した現代暗号のための「IoT機器向けコンパクトな楕円曲線暗号アクセラレーションハードウェア」を設計したが,2年目は設計した各モジュールをComplete Addition Formulaに適用することで更なる並列性を抽出可能となり,高速化を実現した.FPGAデバイスを利用して実装して実環境上で性能評価を行った結果,既存の同種のアクセラレータよりも高速処理が可能であることが示された.
また,暗号の基本データサイズに関して,柔軟な適用を可能とするためにパラメータ化により可変とする設計を進めた.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

IoT機器のシームレス安全な暗号アクセラレーションハードウェアの実現に向けて,初年度に設計したNISTで標準化されているワイエルシュトラス曲線を対象とした「IoT機器向けコンパクトな楕円曲線暗号アクセラレーションハードウェア」を完全加算公式(Complete Addition Formula)に適用することで更なる高速化を実現した.完全加算公式では高速になる反面,ハードウェアのサイズが大きくなる課題がある.そこで,速度とハードウェアサイズのトレードオフを考慮し,対象機器のコスト制約に対応するためにいくつかの構成を提示した.さらに楕円曲線やアルゴリズムの変更に柔軟に対応可能とするために,ソフトウェア/ハードウェア協調実行方式を採用した.設計したアクセラレータをXilinx社のZynq UltraScale+デバイスに実装し,実環境において性能評価を行った結果,既存の同種のアクセラレータよりも高速処理が可能であることが示された.
本設計は高速性に加え,Simple Power Analysis (SPA)に耐性を持つことが特徴である.

Strategy for Future Research Activity

これまでに実装した楕円暗号アクセラレータは256ビットデータに特化したものであるため,前年度の後半でデータサイズのパラメータ化設計を進めたが,実環境上では未実装であるため,本年度ではまずパラメータ化実装を完了する.これにより,異なるサイズの鍵および有限体に対応可能となる.併せてFPGA上でデータサイズを可変としても実用的な実行速度を達成可能であることを示す.続いて,前年度に設計したアクセラレータで使用される基本演算モジュールを利用し,アクセラレータのシーケンサ部および協調実行方式におけるソフトウェアを変更することにより,研究代表者により構築される新たな楕円曲線暗号方式に拡張可能であることを示す.
特に,楕円曲線暗号では,NIST楕円曲線と異なり,標数2の体上の楕円曲線暗号が利用されることも多く,様々な楕円曲線暗号への利用可能性の検証を実現する.

Report

(2 results)
  • 2022 Annual Research Report
  • 2021 Annual Research Report
  • Research Products

    (45 results)

All 2023 2022 2021 2020

All Journal Article (15 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 15 results,  Open Access: 14 results) Presentation (29 results) (of which Int'l Joint Research: 7 results,  Invited: 1 results) Book (1 results)

  • [Journal Article] On the Weakness of Non-Dual Ring-LWE Mod Prime Ideal q by Trace Map2023

    • Author(s)
      TAKAHASHI Tomoka、OKUMURA Shinya、MIYAJI Atsuko
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E106.D Issue: 9 Pages: 1423-1434

    • DOI

      10.1587/transinf.2022ICP0017

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2023-09-01
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] PNB Based Differential Cryptanalysis of Salsa20 and ChaCha2023

    • Author(s)
      GHAFOORI Nasratullah、MIYAJI Atsuko、ITO Ryoma、MIYASHITA Shotaro
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E106.D Issue: 9 Pages: 1407-1422

    • DOI

      10.1587/transinf.2022ICP0015

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2023-09-01
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Compact and Efficient Constant-Time GCD and Modular Inversion with Short-Iteration2023

    • Author(s)
      JIN Yaoan、MIYAJI Atsuko
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E106.D Issue: 9 Pages: 1397-1406

    • DOI

      10.1587/transinf.2022ICP0009

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2023-09-01
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Efficient Multi-Party Contact Tracing2022

    • Author(s)
      Goyon Mathieu de、Miyaji Atsuko、Tian Yangguang
    • Journal Title

      Journal of Information Processing

      Volume: 30 Issue: 0 Pages: 878-887

    • DOI

      10.2197/ipsjjip.30.878

    • ISSN
      1882-6652
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Authenticated logarithmic-order supersingular isogeny group key exchange2021

    • Author(s)
      Hougaard Hector B, Miyaji Atsuko
    • Journal Title

      International Journal of Information Security

      Volume: 21 Issue: 2 Pages: 207-221

    • DOI

      10.1007/s10207-021-00549-4

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Authenticated Tree-Based R-LWE Group Key Exchange2021

    • Author(s)
      Hougaard Hector, Miyaji Atsuko
    • Journal Title

      The Computer Journal

      Volume: 00 Issue: 2 Pages: 360-372

    • DOI

      10.1093/comjnl/bxab165

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Publicly Verifiable M+1st-Price Auction Fit for IoT with Minimum Storage2021

    • Author(s)
      Hsu Po-Chu, Miyaji Atsuko
    • Journal Title

      Security and Communication Networks

      Volume: 2021 Pages: 1-10

    • DOI

      10.1155/2021/1615117

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Commitment Scheme with Output Locality-3 Fit for the IoT Device2021

    • Author(s)
      Hideaki Miyaji, Yuntao Wang, Akinori Kawachi, and Atsuko Miyaji
    • Journal Title

      Security and Communication Networks

      Volume: 2021 Issue: Article ID 2949513 Pages: 1-10

    • DOI

      10.1155/2021/2949513

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Efficient FPGA Design of Exception-Free Generic Elliptic Curve Cryptosystems2021

    • Author(s)
      Tanaka Kiyofumi, Miyaji Atsuko, Jin Yaoan
    • Journal Title

      Springer

      Volume: 12726 Pages: 393-414

    • DOI

      10.1007/978-3-030-78372-3_15

    • ISBN
      9783030783716, 9783030783723
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Verifiable M+lst-Price Auction without Manager2021

    • Author(s)
      Hsu Po-Chu, Miyaji Atsuko
    • Journal Title

      IEEE TrustCom

      Volume: X Pages: 1-10

    • DOI

      10.1109/dsc49826.2021.9346242

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Message-Restriction-Free Commitment Scheme Based on?Lattice Assumption2021

    • Author(s)
      Miyaji Hideaki, Wang Yuntao, Miyaji Atsuko
    • Journal Title

      Springer

      Volume: 13107 Pages: 90-105

    • DOI

      10.1007/978-3-030-93206-0_7

    • ISBN
      9783030932053, 9783030932060
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Efficient Multi-Party Contact Tracing2021

    • Author(s)
      de Goyon Mathieu, Miyaji Atsuko, Tian Yangguang
    • Journal Title

      IEEE

      Volume: X Pages: 10-18

    • DOI

      10.1109/candar53791.2021.00010

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection2021

    • Author(s)
      Mishima Seitaro, Nakasho Kazuhisa, Takano Yuuki, Miyaji Atsuko
    • Journal Title

      IEEE

      Volume: X Pages: 332-338

    • DOI

      10.1109/candarw53999.2021.00063

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Group Key Exchange Compilers from?Generic Key Exchanges2021

    • Author(s)
      Hougaard Hector B, Miyaji Atsuko
    • Journal Title

      Springer

      Volume: X Pages: 162-184

    • DOI

      10.1007/978-3-030-92708-0_10

    • ISBN
      9783030927073, 9783030927080
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A lightweight multi-party authentication in insecure reader-server channel in RFID-based IoT2020

    • Author(s)
      Mamun Mohammad、Miyaji Atsuko、Luv Rongxing、Su Chunhua
    • Journal Title

      Peer-to-Peer Networking and Applications

      Volume: 14 Issue: 2 Pages: 708-721

    • DOI

      10.1007/s12083-020-01007-z

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Presentation] PNB-Focused Differential Cryptanalyjij of Cha Cha Stream Cipher2022

    • Author(s)
      Shotaro Miyashita, Ryoma Ito, Atuko Miyaji
    • Organizer
      ACISP
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Lattice-Based Accumulator with Efficient Updatining2022

    • Author(s)
      Yuta Maeno, Hideaki Miyaji, and Atsuko Miyaji
    • Organizer
      AsiaJCIS
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Short-Iteration Constant-Time GCD and Modular Inversion2022

    • Author(s)
      Yaoan Jin and Atsuko Miyaji
    • Organizer
      CARDIS
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Privacy-Preserving Social Media with a Disclosure2022

    • Author(s)
      Hideaki Miyaji, Po-Chu Hsu, Atsuko Miyaji
    • Organizer
      ANDARW
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Differential Cryptanalysis of Salsa20 Based on Comprehensive Analysis of PNBs2022

    • Author(s)
      Nasratullah Ghafoori, Atsuko Miyaji
    • Organizer
      ISPEC
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Scalable M+1st-Price Auction with Infinite Bidding Price2022

    • Author(s)
      Po-Chu Hsu, Atsuko Miyaji
    • Organizer
      SciSec
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Privacy-Preserving Data Analysis without Trusted Third Party2022

    • Author(s)
      Atsuko Miyaji, Tomoka Takahashi, Ping-Lun Wang, Tatsuhiro Yamatsuki, Tomoaki Mimoto
    • Organizer
      TrustCom
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Efficient Modular Inversion Resisting Side Channel Attack2022

    • Author(s)
      Yaoan Jin, 宮地充子
    • Organizer
      2022暗号と情報セキュリティシンポジウム
    • Related Report
      2021 Annual Research Report
  • [Presentation] Rust言語によるフィルタ機能を付加したソフトウェアブリッジの実装と検証2022

    • Author(s)
      細谷昴平, 高野祐輝, 宮地充子
    • Organizer
      2022暗号と情報セキュリティシンポジウム
    • Related Report
      2021 Annual Research Report
  • [Presentation] メッセージ長を拡張する耐量子コミット メント方式2022

    • Author(s)
      宮地秀至, 王イントウ, 宮地充子
    • Organizer
      2022暗号と情報セキュリティシンポジウム
    • Related Report
      2021 Annual Research Report
  • [Presentation] Online/Offline Accountable-Subgroup Multi-signature2022

    • Author(s)
      山下慎太郎,Tian Yangguang,宮地充子
    • Organizer
      電子情報通信学会 情報通信システムセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] AArch64の呼び出し規約に則ったアンワイン ド情報検査システムの開発2022

    • Author(s)
      川口哲弘, 高野祐輝, 宮地充子
    • Organizer
      電子情報通信学会 情報通信システムセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] スケーラブルな局所差分プライバシの拡張 について2022

    • Author(s)
      山月達太, 宮地充子, 三本知明
    • Organizer
      電子情報通信学会 情報通信システムセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 効率的な更新機能を持つ格子ベース accumulatorの提案2022

    • Author(s)
      前野優太, 宮地秀至, 宮地充子
    • Organizer
      電子情報通信学会 情報通信システムセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 短いメッセージに適した閾値署名の提案2022

    • Author(s)
      猪本卓也, 宮地充子
    • Organizer
      電子情報通信学会 情報セキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 有限体上のトレース写像を用いたSearch Ring-LWE問題への攻撃の再考2022

    • Author(s)
      高橋朋伽, 奥村伸也, 宮地充子
    • Organizer
      電子情報通信学会 情報セキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 円分体の部分体上におけるRing-LWE問題に 対する安全性解析2022

    • Author(s)
      上杉慧至, 奥村伸也, 宮地充子
    • Organizer
      電子情報通信学会 情報セキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] ストリーム暗号ChaCha における多重ビット差分の解析2022

    • Author(s)
      和泉 海, 宮地充子
    • Organizer
      電子情報通信学会 情報セキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] Rust言語を用いたNATの実装と検証2022

    • Author(s)
      細谷昂平, 高野祐輝, 宮地充子
    • Organizer
      情報処理学会 コンピュータセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] An Isogeny-based Dealer-Less Threshold Signature Scheme2022

    • Author(s)
      王昱森, 宮地充子
    • Organizer
      情報処理学会 コンピュータセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] Forward-Secureなカメレオンハッ シュ関数2022

    • Author(s)
      松原功樹, Tian Yangguang, 宮地充子
    • Organizer
      情報処理学会 コンピュータセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] プライ バシ保護とデータ利活用の可能性検証2022

    • Author(s)
      長尾佳高, 高橋朋伽, 大久保佑弥, 山月達太, 三本知明, 宮地充子
    • Organizer
      情報処理学会 コンピュータセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] IoT機器の脆弱性低減に向けて-ディジタル社会のリスク軽減とセキュリティリスキング-2022

    • Author(s)
      宮地充子
    • Organizer
      日本電気計測器工業会
    • Related Report
      2021 Annual Research Report
    • Invited
  • [Presentation] サイドチャネル攻撃に安全な同種写像暗号 CSIDH2021

    • Author(s)
      新井颯斗, 小寺健太, 宮地充子
    • Organizer
      電子情報通信学会 情報通信システムセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] An initial evaluation between C language and PRSafe for developing eBPF programs2021

    • Author(s)
      Mahadevan Sai Veerya,Takano Yuuki,Miyaji Atsuko
    • Organizer
      電子情報通信学会 情報通信システムセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 効率的な閾値署名の提案2021

    • Author(s)
      猪本卓也, 宮地充子
    • Organizer
      コンピュータセキュリティシンポジウム2021
    • Related Report
      2021 Annual Research Report
  • [Presentation] セッション型を用いたプロセス間の安全な 通信プロトコルの設計と実装2021

    • Author(s)
      劉 小竜, 高野祐輝,宮地充子
    • Organizer
      電子情報通信学会 情報通信システムセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 素数位数の双線形群を用いたリング 署名方式の提案2021

    • Author(s)
      上原真悟,Tian Yangguang,宮地充子
    • Organizer
      電子情報通信学会 情報通信システムセキュリティ研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 有限体上のトレース写像を用いたSearch Ring-LWE問題への攻撃について2021

    • Author(s)
      髙橋朋伽,奥村伸也,宮地充子
    • Organizer
      電子情報通信学会 第45回量子情報技術研究会
    • Related Report
      2021 Annual Research Report
  • [Book] 応用基礎としてのデータサイエンスAI ×データ活用の実践2023

    • Author(s)
      北川 源四郎 (編集), 竹村 彰通 (編集), 赤穂 昭太郎 (著), 今泉 允聡 (著), 内田 誠一 (著), 清 智也 (著), 高野 渉 (著), 辻 真吾 (著), 原 尚幸 (著), 久野 遼平 (著), 松原 仁 (著), 宮地 充子 (著), 森畑 明昌 (著), 宿久 洋
    • Total Pages
      384
    • Publisher
      講談社
    • Related Report
      2022 Annual Research Report

URL: 

Published: 2021-04-28   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi