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

多彩な数学的構造に基づく長期的安全性を保証可能な軽量公開鍵暗号の研究

Research Project

Project/Area Number 14J03467
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeSingle-year Grants
Section国内
Research Field Information security
Research InstitutionThe University of Tokyo

Principal Investigator

山川 高志  東京大学, 新領域創成科学研究科, 特別研究員(DC1)

Project Period (FY) 2014-04-25 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 2016: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2015: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2014: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords公開鍵暗号 / 電子署名 / 難読化 / 自己双線形写像 / 素因数分解 / 識別不可性難読化 / Fail-stop署名
Outline of Annual Research Achievements

本年度の研究は大きく分けて二つに分けられる。
一つ目の研究は、自己双線形写像と呼ばれる暗号要素技術に関するものである。本研究では自己双線形写像の定義を弱めた補助情報付き自己双線形写像を定義し、それを素因数分解仮定と識別不可性難読化を用いて構成した。本成果は論文誌Algorithmicaにおいて発表を行った。また、その構成について、Multilinear Generalized Diffie-Hellman with Auxiliary Information (AI-MGDH)仮定を定義し、それが成り立つための十分条件を示した。その結果、新たな応用としてセキュリティパラメータに対して対数深さの回路が評価可能な準同形署名方式を構成した。本成果は国際会議ACISP2016において発表を行った。
二つ目の研究は、損失落とし戸関数に関するものである。本研究ではまず損失落とし戸関数の可用性を損なわない範囲で定義を弱めた攻撃者依存損失落とし戸関数を定義し、それをセミスムーズRSA部分群数と呼ばれる特殊な形の合成数に関する素因数分解仮定のもとで構成した。その結果、Boldyrevaらにより定義された安全性を満たす決定的公開鍵暗号方式を素因数分解仮定のもとで初めて提案した。また、類似の手法を用いることで、素因数分解仮定に基づく選択暗号文攻撃に対して安全な公開鍵暗号方式のなかで、暗号文長が最短である方式を構成した。特に、これは素因数分解仮定に基づく方式のうちで、暗号文サイズが群の元2個を下回る初めての方式である。本成果は国際会議CRYPTO 2016において発表を行った。

Research Progress Status

28年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

28年度が最終年度であるため、記入しない。

Report

(3 results)
  • 2016 Annual Research Report
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • Research Products

    (15 results)

All 2017 2016 2015 2014

All Journal Article (7 results) (of which Peer Reviewed: 7 results,  Acknowledgement Compliant: 6 results) Presentation (8 results) (of which Int'l Joint Research: 2 results)

  • [Journal Article] Self-bilinear Map on Unknown Order Groups from Indistinguishability Obfuscation and Its Applications2017

    • Author(s)
      Takashi Yamakawa, Shota Yamada, Goichiro Hanaoka, Noboru Kunihiro
    • Journal Title

      Algorithmica

      Volume: 印刷中 Issue: 4 Pages: 1286-1317

    • DOI

      10.1007/s00453-016-0250-8

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Efficient key encapsulation mechanisms with tight security reductions to standard assumptions in the two security models2016

    • Author(s)
      Yoshikazu Hanatani, Goichiro Hanaoka, Takahiro Matsuda, Takashi Yamakawa
    • Journal Title

      Security and Communication Networks

      Volume: 9(12) Issue: 12 Pages: 1676-1697

    • DOI

      10.1002/sec.1444

    • Related Report
      2016 Annual Research Report 2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Generalized Hardness Assumption for Self-bilinear Map with Auxiliary Information2016

    • Author(s)
      Takashi Yamakawa, Goichiro Hanaoka, Noboru Kunihiro
    • Journal Title

      Information Security and Privacy, Lecture Notes in Computer Science

      Volume: 9723 Pages: 269-284

    • DOI

      10.1007/978-3-319-40367-0_17

    • ISBN
      9783319403663, 9783319403670
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Adversary-dependent Lossy Trapdoor Function from Hardness of Factoring Semi-smooth RSA Subgroup Moduli2016

    • Author(s)
      Takashi Yamakawa, Shota Yamada, Goichiro Hanaoka, Noboru Kunihiro
    • Journal Title

      Advances in Cryptology, Lecture Notes in Computer Science

      Volume: 9815 Pages: 3-32

    • DOI

      10.1007/978-3-662-53008-5_1

    • ISBN
      9783662530078, 9783662530085
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A Short Fail-Stop Signature Scheme from Factoring2014

    • Author(s)
      Takashi Yamakawa, Nobuaki Kitajima, Takashi Nishide, Goichiro Hanaoka, Eiji Okamoto
    • Journal Title

      Provable Security, Lecture Notes in Computer Science

      Volume: 8782 Pages: 309-316

    • DOI

      10.1007/978-3-319-12475-9_22

    • ISBN
      9783319124742, 9783319124759
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Chosen Ciphertext Security on Hard Membership Decision Groups: The Case of Semi-smooth Subgroups of Quadratic Residues2014

    • Author(s)
      Takashi Yamakawa, Shota Yamada, Koji Nuida, Goichiro Hanaoka, Noboru Kunihiro
    • Journal Title

      Security and Cryptography for Networks, Lecture Notes in Computer Science

      Volume: 8642 Pages: 558-577

    • DOI

      10.1007/978-3-319-10879-7_32

    • ISBN
      9783319108780, 9783319108797
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Self-bilinear Map on Unknown Order Groups from Indistinguishability Obfuscation and Its Applications2014

    • Author(s)
      Takashi Yamakawa, Shota Yamada, Goichiro Hanaoka, Noboru Kunihiro
    • Journal Title

      Advances in Cryptology, Lecture Notes in Computer Science

      Volume: 8617 Pages: 90-107

    • DOI

      10.1007/978-3-662-44381-1_6

    • ISBN
      9783662443804, 9783662443811
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] 理想的な自己双線形写像について2017

    • Author(s)
      山川高志
    • Organizer
      SCIS 2017
    • Place of Presentation
      沖縄
    • Related Report
      2016 Annual Research Report
  • [Presentation] 識別不可性難読化に基づく絶対値平方剰余群上の自己双線型写像のさらなる応用2016

    • Author(s)
      山川高志、花岡悟一郎、國廣昇
    • Organizer
      SCIS2016
    • Place of Presentation
      熊本県熊本市ANAクラウンプラザホテル熊本ニュースカイ
    • Year and Date
      2016-01-21
    • Related Report
      2015 Annual Research Report
  • [Presentation] Generalized Hardness Assumption for Self-bilinear Map with Auxiliary Information2016

    • Author(s)
      Takashi Yamakawa
    • Organizer
      ACISP2016
    • Place of Presentation
      Melbourne, Australia
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Adversary-dependent Lossy Trapdoor Function from Hardness of Factoring Semi-smooth RSA Subgroup Moduli2016

    • Author(s)
      Takashi Yamakawa
    • Organizer
      CRYPTO2016
    • Place of Presentation
      Santa Barbara, USA
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Semi-smooth RSA数の素因数分解問題に基づく一般化Lossy Trapdoor関数2015

    • Author(s)
      山川高志
    • Organizer
      SCIS2015
    • Place of Presentation
      小倉リーガロイヤルホテル(福岡県北九州市)
    • Year and Date
      2015-01-20 – 2015-01-23
    • Related Report
      2014 Annual Research Report
  • [Presentation] A Short Fail-Stop Signature Scheme from Factoring2014

    • Author(s)
      Takashi Yamakawa
    • Organizer
      ProvSec2014
    • Place of Presentation
      香港(中国)
    • Year and Date
      2014-10-09 – 2014-10-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] Chosen Ciphertext Security on Hard Membership Decision Groups: The Case of Semi-smooth Subgroups of Quadratic Residues2014

    • Author(s)
      Takashi Yamakawa
    • Organizer
      SCN2014
    • Place of Presentation
      アマルフィ(イタリア)
    • Year and Date
      2014-09-03 – 2014-09-05
    • Related Report
      2014 Annual Research Report
  • [Presentation] Self-bilinear Map on Unknown Order Groups from Indistinguishability Obfuscation and Its Applications2014

    • Author(s)
      Takashi Yamakawa
    • Organizer
      CRYPTO2014
    • Place of Presentation
      サンタバーバラ(アメリカ)
    • Year and Date
      2014-08-17 – 2014-08-21
    • Related Report
      2014 Annual Research Report

URL: 

Published: 2015-01-22   Modified: 2024-03-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi