2024/12/24 更新

写真a

タカシマ カツユキ
高島 克幸
所属
教育・総合科学学術院 教育学部
職名
教授
学位
博士(情報学) ( 2009年03月 京都大学 )
ホームページ

経歴

  • 2024年05月
    -
    継続中

    早稲田大学   理工学術院総合研究所   兼任研究員

  • 2024年04月
    -
    継続中

    東京大学   大学院数理科学研究科   客員教授

  • 2021年04月
    -
    継続中

    早稲田大学   教育・総合科学学術院 教育学部 数学科   教授

  • 2013年03月
    -
    2022年03月

    九州大学   マス・フォア・インダストリ研究所   客員教授

  • 1997年04月
    -
    2021年03月

    三菱電機株式会社   情報技術総合研究所   研究員(最終職位:主管技師長)

学歴

  • 2007年04月
    -
     

    京都大学大学院   情報学研究科   社会情報学専攻 博士後期課程  

  • 1993年04月
    -
     

    京都大学大学院   理学研究科   数学・数理解析専攻 博士前期課程  

  • 1988年04月
    -
     

    京都大学   理学部  

委員歴

  • 2024年07月
    -
    継続中

    日本数学会  MSJ メモアール編集委員会 編集委員

  • 2024年05月
    -
    継続中

    電子情報通信学会  ISEC(情報セキュリティ)研究専門委員会 副委員長

  • 2023年08月
    -
    継続中

    Japan Journal of Industrial and Applied Mathematics 編集委員

  • 2017年04月
    -
    継続中

    暗号技術評価委員会(CRYPTREC)暗号技術調査WG(暗号解析評価) 委員

  • 2014年03月
    -
    継続中

    電子情報通信学会  英文論文誌 暗号と情報セキュリティ特集号 編集委員

  • 2016年
    -
    2023年08月

    応用数理国際会議 ICIAM 2023 組織委員会 委員

  • 2012年07月
    -
    2023年06月

    日本応用数理学会  代表会員

  • 2022年05月
    -
    2023年05月

    日本数学会  地方区代議員

  • 2016年06月
    -
    2018年06月

    日本応用数理学会  副会長

  • 2016年03月
    -
    2018年01月

    電子情報通信学会  英文論文誌 暗号と情報セキュリティ特集号 編集幹事

  • 2012年04月
    -
    2014年03月

    日本応用数理学会  理事

  • 2007年04月
    -
    2012年06月

    日本応用数理学会  評議員

  • 2009年05月
    -
    2011年05月

    電子情報通信学会  ISEC(情報セキュリティ)研究専門委員会 幹事

  • 2007年10月
    -
    2011年05月

    電子情報通信学会  電子ジャーナルELEX 編集委員

  • 2006年11月
    -
    2009年10月

    ISO/IEC JTC 1/SC 27 WG2 (Working Group 2)  オブザーバー

  • 2008年05月
    -
    2009年05月

    電子情報通信学会  ISEC(情報セキュリティ)研究専門委員会 幹事補佐

  • 2007年04月
    -
    2009年03月

    日本応用数理学会  学会誌編集委員

  • 2009年
    -
     

    2009 年度電子政府推奨暗号安全性評価・検討委員会(CRYPTREC)リストガイドWG 委員

  • 2008年
    -
     

    2008 年度電子政府推奨暗号安全性評価・検討委員会(CRYPTREC)ID ベース調査WG 委員

  • 2001年04月
    -
    2003年03月

    日本規格協会 (JIS) 情報技術標準化研究センター  セキュリティ技術 標準化調査研究委員会WG4 (Working Group 4): 暗号応用技術標準化委員.

▼全件表示

所属学協会

  •  
     
     

    The International Association for Cryptologic Research (IACR)

  •  
     
     

    日本応用数理学会

  •  
     
     

    日本数学会

  •  
     
     

    情報処理学会

  •  
     
     

    電子情報通信学会

研究分野

  • 情報学基礎論 / 代数学 / 情報セキュリティ

研究キーワード

  • 暗号理論

  • 耐量子計算機暗号

  • 関数型暗号

  • 計算数論

  • 楕円曲線暗号

受賞

▼全件表示

 

論文

▼全件表示

書籍等出版物

講演・口頭発表等

  • Markoff グラフ CGL ハッシュ関数の安全性評価

    佐々木崇斗, 高島克幸

    2025 年暗号と情報セキュリティシンポジウム (SCIS 2025)  

    発表年月: 2025年01月

  • 有限環上の LCD 符号から得られる格子の同型問題について

    西村優作, 高島克幸, 三枝崎剛

    2025 年暗号と情報セキュリティシンポジウム (SCIS 2025)  

    発表年月: 2025年01月

  • 耐量子計算機暗号の構成法と安全性評価

    高島克幸  [招待有り]

    信州大学 数理科学談話会  

    発表年月: 2024年10月

     概要を見る

    大規模な量子コンピュータが実現すれば,これまで広く使われてきた公開鍵暗号が解読される危険性が指摘されている.その対策として,量子コンピュータでも効率的に解けない数学問題の計算困難性に基づく暗号(耐量子計算機暗号)の研究が活発に行われている. 本講演では,その候補である格子暗号とその数理基盤について紹介する.まず,格子に基づく暗号化方式・署名方式を概観する.そして,実際には,演算効率向上のために加群格子・イデアル格子といった代数的な格子に基づいて暗号構成が行われていることを説明する.次に,そのような暗号方式の安全性の基盤となるイデアル格子上の最短ベクトル探索問題に対する Cramer らによる多項式時間量子アルゴリズムを紹介して,最後に,関連する最近の私の取り組みも紹介する.

  • 代数曲線計算に基づく暗号研究

    高島克幸  [招待有り]

    電子情報通信学会 RCC・ISEC・IT・WBS合同研究会  

    発表年月: 2024年03月

  • イデアル格子上の最短ベクトル探索問題と耐量子計算機暗号への応用

    高島克幸  [招待有り]

    2024 早稲田離散数理研究集会  

    発表年月: 2024年03月

  • 部分体を用いた Ideal-SVP 量子アルゴリズム

    高島克幸

    2024 年暗号と情報セキュリティシンポジウム (SCIS 2024)  

    発表年月: 2024年01月

     概要を見る

    講演番号 2A1-3

  • イデアル格子最短ベクトル問題に対する量子アルゴリズムについて

    高島克幸  [招待有り]

    研究集会「暗号と量子計算」  

    発表年月: 2023年12月

  • 同種写像暗号の数理

    高島 克幸  [招待有り]

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2023年11月

     概要を見る

    耐量子計算機暗号の一つである同種写像暗号は,楕円曲線間の同種写像を使った鍵共有や署名方式であり,CGLハッシュ関数,SIDH鍵共有,SQIsign署名などが基本的な方式として知られてきた.また、種数1の楕円曲線だけでなく,種数2曲線同種写像暗号の研究も進んでいる.本講演では,まず,それらの概要を報告するとともに,種数2 Richelot同種写像グラフに関する桂利行氏との共同研究成果も簡単に紹介する. 2022年に,Castryck–Decruに始まる一連の研究によって「補助点情報」を巧みに使ったSIDH 鍵共有に対する多項式時間攻撃法が発表された.種数1同種写像暗号に対するこれらの攻撃法においても,高次元アーベル多様体の同種写像が基本的な役割を果たしている.本講演後半では,種数2 Richelot同種写像を使ったCastryck–Decruの攻撃法を紹介して,Robertの8次元アーベル多様体を使った攻撃法にも簡単に触れる予定である.

  • 格子暗号の数理

    高島 克幸  [招待有り]

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2023年10月

     概要を見る

    本講演では,格子暗号の数理を紹介する.まず、格子上のフーリエ解析に基づくRegevの格子暗号構成フレームワークとそれに基づく具体的な構成法を順に概説する.そして,加群格子・イデアル格子といった特別な格子に基づく暗号構成の基礎付けを見た後に,時間が許せば、Cramerらによる近似Ideal-SVP 問題に対する多項式時間量子アルゴリズムを概説する.

  • Decomposed Richelot isogenies of Jacobian varieties of hyperelliptic curves and generalized Howe curves

    Toshiyuki Katsura, Katsuyuki Takashima  [招待有り]

    ICIAM 2023  

    発表年月: 2023年08月

    開催年月:
    2023年08月
     
     

     概要を見る

    We advance previous studies on decomposed Richelot isogenies (Katsura–Takashima (ANTS 2020) and Katsura (J. Algebra)) which are useful for analysing superspecial Richelot isogeny graphs in cryptography. We first give a characterization of decomposed Richelot isogenies between Jacobian varieties of hyperelliptic curves of any genus. We then define generalized Howe curves, and present two theorems on their relationships with decomposed Richelot isogenies. We also give new examples including a non-hyperelliptic (resp. hyperelliptic) generalized Howe curve of genus 5 (resp. of genus 4).

  • 耐量子計算機暗号の進展

    高島 克幸  [招待有り]

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2022年10月

     概要を見る

    米国標準技術研究所NIST により,次世代標準暗号方式として,鍵共有にはCRYSTALS-Kyber が選ばれ,デジタル署名には CRYSTALS-Dilithiumを筆頭に Falcon と SPHINCS+ という 2 方式も選定された.SPHINCS+ を除く 3 方式は全て格子暗号と呼ばれる暗号技術に属する. 本講演では,まず,格子上のフーリエ解析に基づくRegevの格子暗号構成フレームワークを概説し,それに基づく具体的な構成法を順に紹介する.そして,加群格子・イデアル格子といった特別な格子に基づく暗号構成の基礎付けを見た後に,Cramerらによる近似Ideal-SVP 問題に対する多項式時間量子アルゴリズムを概説する.そこでは,漸近的に準指数関数近似度を達成するために円分体の諸性質が巧みに使われているので,その整数論的な技法について主に紹介する.

  • 同種写像グラフの数理と耐量子計算機暗号への応用

    高島 克幸  [招待有り]

    早稲田大学 整数論セミナー  

    発表年月: 2022年04月

  • 同種写像グラフの数理と耐量子計算機暗号への応用

    高島 克幸  [招待有り]

    IEICE 総合大会 企画セッション「量子計算と暗号の進展」  

    発表年月: 2021年03月

  • Kohel-Lauter-Petit-Tignol アルゴリズムの構成的 Deuring 対応への適用

    神戸 祐太, 相川 勇輔, 工藤 桃成, 安田 雅哉, 高島 克幸, 横山 和弘

    2021 年暗号と情報セキュリティシンポジウム (SCIS 2021)  

    発表年月: 2021年01月

     概要を見る

    講演番号 2A1-2

  • 同種写像グラフの数理と暗号応用

    高島 克幸  [招待有り]

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2020年12月

  • 量子コンピュータでも解けない計算問題とその暗号応用

    高島 克幸  [招待有り]

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2020年12月

  • 量子コンピュータでも解けない耐量子計算機暗号

    高島 克幸  [招待有り]

    電子情報通信学会主催 プラチナクラブ第 3 回講演会  

    発表年月: 2020年10月

  • Post-quantum cryptography from supersingular elliptic curve isogenies

    Katsuyuki Takashima  [招待有り]

    Indo Japan Joint Workshop on Quantum Computation and Information  

    発表年月: 2020年01月

  • 同種写像パス探索問題に対する中間一致攻撃のハイブリッド手法

    池松泰彦, 深作亮也, 工藤桃成, 安田雅哉, 高島克幸, 横山和弘

    2020 年暗号と情報セキュリティシンポジウム (SCIS 2020)  

    発表年月: 2020年01月

     概要を見る

    講演番号 4A2-2 同種写像ベース暗号は耐量子暗号の候補として注目され、その安全性は同種写像問題の難しさに基づいている. 同種写像問題の求解などに利用される中間一致攻撃は、衝突を双方向から探索する方法であり、暗号解析の分野では強力なツールとなっている. 本稿では、同種写像問題の一つである同種写像パス探索問題に対する中間一致攻撃のハイブリッド手法を提案する. 具体的には、既存手法で双方向から同種写像パスを部分的に構成し、次いでMathCrypt 2019で提案されたモジュラー多項式を使った代数手法を用いて同種写像パスのペアを探索する. 我々が提案するハイブリッド手法は、中間一致攻撃で作成する探索テーブルのサイズが小さく、容易に代数手法部分の並列化ができるという利点を有する. また、既存手法とハイブリッド手法の実験結果も示して、両手法の探索テーブルのサイズと性能を比較する.

  • Isogeny-Based Authenticated Key Exchange Protocol from CSIDH with Tight Security Proof

    Tomoki Kawashima, Katsuyuki Takashima, Yusuke Aikawa, Tsuyoshi Takagi

    2020 年暗号と情報セキュリティシンポジウム (SCIS 2020)  

    発表年月: 2020年01月

     概要を見る

    セッション番号 4A2 同種写像暗号 講演番号 4A2-5 The security of public-key cryptosystems depend on the difficulty of some number-theoretic problems. A lot of papers have pointed out the importance of so called "tight security proof'', which gives small security loss between the cryptosystem and its underlying hard problem. At Crypto 2019, under the difficulity of the strong Diffie-Hellman problem, Cohn-Gordon et al. proposed authenticated key exchange (AKE) protocols having tight security proof in the random oracle model with optimal security losses. In this paper, we extend one of these protocols to a post-quantum AKE protocol from CSIDH, which is a Diffie-Hellman key exchange scheme based on isogenies between supersingular elliptic curves. Our proposed scheme has optimal security loss under the strong CSIDH problem in the random oracle model. Moreover, with small changes, we propose another AKE protocol secure in the quantum random oracle model, though its loss is slightly larger.

  • 量子コンピュータでも解けない耐量子暗号技術

    高島 克幸  [招待有り]

    電子情報通信学会主催 プラチナクラブ第 2 回講演会   (東京大学数理科学研究棟) 

    発表年月: 2019年11月

  • 格子と同種写像に関するアルゴリズムの耐量子暗号への応用

    高島 克幸  [招待有り]

    研究集会「暗号数理の現状と未来」   (金沢大学工学系)  金沢大学工学系  

    発表年月: 2019年11月

  • 同種写像に基づく耐量子計算機暗号

    高島 克幸  [招待有り]

    代数セミナー   (愛媛大学)  愛媛大学  

    発表年月: 2019年10月

     概要を見る

    大規模な量子コンピュータが出現すれば,これまで広く使われてきた公開鍵暗号が 破られる危険性が指摘されている.それに対する対策として,量子コンピュータでも効率的に解けない数学問題の計算困難性に基づいて,新しい暗号を提案する動きが活発化している.本講演では,その候補である同種写像暗号について紹介する.その暗号演算には,同種写像からなるグラフ上のランダムウォークが使われており,例えば,超特異楕円曲線同種写像から得られるラマヌジャングラフの数理的な性質が,暗号の性能・安全性を理解する上で重要になる.それら数理的側面と共に,SIDH鍵共有と種数1,2のCGLハッシュ関数という暗号技術を紹介する.最後に,本研究分野での私の最近の研究成果にも触れる予定である.

  • 同種写像に基づく耐量子計算機暗号技術

    高島 克幸  [招待有り]

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2019年10月

  • 超特異性判定アルゴリズムの効率化とその暗号応用

    橋本 侑知, 高島 克幸

    日本応用数理学会 数論アルゴリズムとその応用研究会 (JANT)   (東京大学駒場キャンパス) 

    発表年月: 2019年09月

     概要を見る

    超特異楕円曲線間の同種写像を用いた暗号は耐量子暗号として期待されており、DH 型鍵共有(SIDH: Supersingular Isogeny Diffie-Hellman)、認証・署名、ハッシュ関数等が研究されている。それら暗号系を構成するためには、楕円曲線の超特異性判定アルゴリズムが必要である。Sutherland の超特異性判定アルゴリズムでは、同種写像グラフの特性が巧みに用いられる。我々は、そのアルゴリズムに、吉田-高島により提案された2-同種写像列計算の効率化手法を適用して効率化を図る。そして、Sutherlandアルゴリズムとの計算量比較を行う。

  • Post-quantum cryptography from supersingular elliptic curve isogenies

     [招待有り]

    GCT Mini Workshop   (東京大学 数理科学研究科) 

    発表年月: 2019年08月

  • 同種写像暗号入門

    高島 克幸  [招待有り]

    情報科学系セミナー   (北陸先端科学技術大学院大学)  北陸先端科学技術大学院大学  

    発表年月: 2019年08月

     概要を見る

    (大規模)量子計算機の出現に備えて,量子計算機を用いても破れない公開鍵暗号の研究が活発に行われている.本講演では,その候補である同種写像暗号について紹介する.その暗号演算には,同種写像からなるグラフ上のランダムウォークが使われており,例えば,超特異曲線同種写像から得られるラマヌジャングラフの数理的な性質が,暗号の性能・安全性を理解する上で重要になる.それら数理的側面と共に,同種写像を使った鍵共有や署名方式についても紹介する.

  • Improved Identification of Supersingular Elliptic Curves

    Yuji Hashimoto, Katsuyuki Takashima

    The 14th International Workshop on Security (IWSEC 2019) Poster Session  

    発表年月: 2019年08月

  • One-Round Authenticated Group Key Exchange from Isogenies

    Katsuyuki Takashima  [招待有り]

    The CJK-SIAMs joint mini-symposium on Mathematical Cryptography in ICIAM 2019  

    発表年月: 2019年07月

  • 楕円曲線ペアリングを用いた関数型暗号

    高島 克幸

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2019年07月

  • 同種写像暗号

    高島 克幸  [招待有り]

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2019年07月

  • 楕円曲線に基づく暗号の進展

    高島 克幸  [招待有り]

    東京大学大学院数理科学研究科 情報数学セミナー  

    発表年月: 2019年06月

  • Recent Topics on Post-Quantum Cryptography in Japan

    Katsuyuki Takashima  [招待有り]

    The 4th Asia PQC Forum (AsiaPQC 2019)  

    発表年月: 2019年05月

  • 任意の奇数次同種写像を用いた暗号方式の計算量考察

    山崎 努, 高島 克幸, 高木 剛

    2019 年暗号と情報セキュリティシンポジウム (SCIS 2019)  

    発表年月: 2019年01月

     概要を見る

    講演番号 3B4-2

  • 同種写像を用いた 1 ラウンド認証グループ鍵共有

    藤岡 淳, 高島 克幸, 米山 一樹

    2019 年暗号と情報セキュリティシンポジウム (SCIS 2019)  

    発表年月: 2019年01月

     概要を見る

    講演番号 3B3-4

  • 同種写像暗号の CSIDH を用いたグループ鍵共有方式とその応用

    守谷 共起, 高島 克幸, 高木 剛

    2019 年暗号と情報セキュリティシンポジウム (SCIS 2019)  

    発表年月: 2019年01月

     概要を見る

    講演番号 3B3-3

  • An Introduction to Isogeny-Based Cryptography

    Katsuyuki Takashima  [招待有り]

    The 21st Annual International Conference on Information Security and Cryptology (ICISC 2018)  

    発表年月: 2018年11月

  • One-Round Authenticated Group Key Exchange from Isogenies

    Katsuyuki Takashima  [招待有り]

    The 22nd Workshop on Elliptic Curve Cryptography (ECC 2018)   (Osaka University) 

    発表年月: 2018年11月

  • 暗号技術における数理科学の役割

    高島 克幸  [招待有り]

    日本機械学会 2018 年度年次大会 ワークショッ プ「産業における数理科学の役割」   (関西大学) 

    発表年月: 2018年09月

  • 同種写像暗号の数理

    高島 克幸  [招待有り]

    日本応用数理学会 2018 年度年会 FAIS 研究会   (名古屋大学) 

    発表年月: 2018年09月

  • 楕円曲線間 同種写像に関する計算問題とその暗号応用

    高島 克幸  [招待有り]

    整数論セミナー   (首都大学東京)  首都大学東京  

    発表年月: 2018年05月

  • Efficient Algorithms for Isogeny Sequences and Their Cryptographic Applications

    Katsuyuki Takashima  [招待有り]

    KSIAM 2018 Spring Conference  

    発表年月: 2018年05月

  • SIDH 鍵共有とその応用:署名・認証鍵共有・グループ鍵共有

    高島 克幸  [招待有り]

    第 51 回 ISSスクエア 水平ワークショップ「Post-Quantum Cryptography の現状とこれから」   (情報セキュリティ大学院大学) 

    発表年月: 2018年01月

  • 超特異性判定アルゴリズムの効率化とその暗号応用

    橋本 侑知, 高島 克幸

    2018 年暗号と情報セキュリティシンポジウム (SCIS 2018)  

    発表年月: 2018年01月

     概要を見る

    講演番号 2B4-3

  • SIDH 認証鍵共有

    藤岡 淳, 高島 克幸

    2018 年暗号と情報セキュリティシンポジウム (SCIS 2018)  

    発表年月: 2018年01月

     概要を見る

    講演番号 2B4-2

  • 同種写像部分木計算とその暗号方式への応用

    山崎 努, 高島 克幸, 高木 剛

    2018 年暗号と情報セキュリティシンポジウム (SCIS 2018)  

    発表年月: 2018年01月

     概要を見る

    講演番号 2B4-1

  • 格子と同種写像に関するアルゴリズムの耐量子暗号への応用

    高島 克幸  [招待有り]

    東京大学 数物フロンティア・リーディング大学院 社会数理コロキウム   (東京大学数理科学研究科) 

    発表年月: 2017年10月

  • 格子と同種写像に関するアルゴリズムの耐量子暗号への応用

    高島 克幸  [招待有り]

    東工大 数論・幾何学セミナー   (東工大理学院数学系) 

    発表年月: 2017年10月

  • Elliptic Curve Cryptography in Industry and Society

    Katsuyuki Takashima  [招待有り]

    International Seminar for Applied and Industrial Mathematics   (Waseda University)  Waseda University  

    発表年月: 2017年03月

  • 格子と同種写像に関するアルゴリズムの耐量子暗号への応用

    高島 克幸  [招待有り]

    RIMS-IMI 談話会   (京都大学数理解析研究所) 

    発表年月: 2017年02月

  • SIDH 鍵共有法における効率的な計算法

    立花 ひかり, 高島 克幸, 高木 剛

    2017 年暗号と情報セキュリティシンポジウム (SCIS 2017)  

    発表年月: 2017年01月

     概要を見る

    講演番号 3B2-3

  • 超特異楕円曲線の同種写像を用いた擬似ランダム関数の構成

    古川 悟, 國廣 昇, 高島 克幸

    2017 年暗号と情報セキュリティシンポジウム (SCIS 2017)  

    発表年月: 2017年01月

     概要を見る

    講演番号 3B2-2

  • 楕円曲線同種写像のペアリング暗号への新しい応用

    小柴 健史, 高島 克幸

    2017 年暗号と情報セキュリティシンポジウム (SCIS 2017)  

    発表年月: 2017年01月

     概要を見る

    講演番号 3B2-1

  • 格子と同種写像に関するアルゴリズムの耐量子暗号への応用

    高島 克幸  [招待有り]

    統計数理研究所 数学協働プログラム 情報セキュリティにおける数学的方法とその実践   (北海道大学理学部) 

    発表年月: 2016年12月

    開催年月:
    2016年12月
     
     
  • 3-同種写像を用いた効率的なハッシュ関数の構成

    立花 ひかり, 高島 克幸, 高木 剛

    日 本応用数理学会 研究部会連合発表会, 数論アルゴリズムとその応用 (JANT) セッション  

    発表年月: 2016年03月

  • 楕円曲線間 同種写像の暗号応用

    高島 克幸  [招待有り]

    IMIワークショップ 代数幾何学と暗号数理の展開   (九州大学 西新プラザ) 

    発表年月: 2016年02月

    開催年月:
    2016年02月
     
     
  • 効率的な 適応的安全 属性ベース暗号を設計するための新しい証明技法

    高島 克幸

    2016 年暗号と情報セキュリティシンポジウム (SCIS 2016)  

    発表年月: 2016年01月

     概要を見る

    講演番号 2E4-3

  • 同種写像を用いたグループ鍵共有

    古川 悟, 國廣 昇, 高島 克幸

    2016 年暗号と情報セキュリティシンポジウム (SCIS 2016)   (ANAクラウンプラザホテル熊本ニュースカイ) 

    発表年月: 2016年01月

     概要を見る

    セッション番号 1D2 耐量子暗号(2) 講演番号 1D2-2 2011年De FeoとJaoによって提案された同種写像の計算の困難性に基づく鍵共有方式(De Feo-Jao鍵共有)は耐量子暗号として期待されている. De Feo-Jao鍵共有は超特異楕円曲線の同種写像のなす可換図式を利用して鍵共有を実現しており, Diffie-Hellman型の鍵共有方式であると考えられる. Diffie-Hellman鍵共有は3者間以上のグループ鍵共有方式に容易に拡張することができ, 現在まで様々な方式が提案されてきた. 例えば, Steiner, Tsudik, WaidnerによるGeneric ProtocolやBurmesterとDesmedtによる鍵共有方式などが挙げられる. 本稿ではDe Feo-Jao鍵共有をベースにしたグループ鍵共有の構成を与える. 具体的には上に挙げたGeneric ProtocolとBurmester-Desmedt方式をDe Feo-Jao鍵共有から構成できることを示す. また最後にDiffie-Hellman鍵共有とDe Feo-Jao鍵共有を共に含むような鍵共有方式について考える.

  • 3-同種写像を用いた効率的なハッシュ関数の構成

    立花 ひかり, 高島 克幸, 高木 剛

    2016 年暗号と情報セキュリティシンポジウム (SCIS 2016)   (ANAクラウンプラザホテル熊本ニュースカイ) 

    発表年月: 2016年01月

     概要を見る

    セッション番号 1D2 耐量子暗号(2) 講演番号 1D2-1 同種写像問題の困難性を安全性の根拠とするハッシュ関数が提案されている. Charlesらは, 超特異楕円曲線の2-同種写像に対して, バックトラッキングとセレクター関数を用いたハッシュ関数を構成した. 吉田らは, Charlesらの方式を高速化し, 2次方程式の解と係数の関係を利用して, 2-同種写像を有限体上の積1回と平方根計算1回で計算可能なアルゴリズムを提案した. 本稿では, これらのハッシュ関数を3-同種写像の場合に拡張し, 3次方程式を解くカルダノの公式を用いて, 有限体上の積15回, 平方根計算1回, 3乗根計算1回という高速な公式を与える. さらに, 吉田・高島方式の2-同種写像を用いたハッシュ関数と, 提案方式を適用した3-同種写像を用いたハッシュ関数をMagmaを用いてそれぞれ実装することで, 楕円曲線の標数が256ビット (128-bit security) の場合に, 提案方式が2-同種写像列を用いた場合と同等の速さで計算できることを示す.

  • Renyi ダイバージェンスの次数を最適化した格子暗号のタイトな帰着

    高安 敦, 高島 克幸

    2016 年暗号と情報セキュリティシンポジウム (SCIS 2016)   (ANAクラウンプラザホテル熊本ニュースカイ) 

    発表年月: 2016年01月

     概要を見る

    セッション番号 1D1 耐量子暗号(1) 講演番号 1D1-2 暗号方式を実装する際には,効率などの制約から,その方式と異なる確率分布に従い要素を選ぶことがあるが,理想的な暗号方式における確率分布と実際に実装された方式の確率分布が統計的に近接していれば,その安全性を達成することが証明できる.この解析において,これまで統計的距離が用いられることが多かったが,格子暗号では近年R\'enyiダイバージェンスを用いたいくつかの結果が知られており,その確率保存則を用いることで統計的距離を用いて解析するよりも効率的なパラメータのもとで安全性を証明できる.ただし,これらのRenyiダイバージェンスを用いた結果には帰着がタイトではない場合があったが,帰着効率についてはあまり詳しく議論されてこなかった.本稿で我々は,R\'enyiダイバージェンスの次数を確率分布間の統計的近接度・達成すべき安全性レベル・サンプルするインスタンス数などによって適応的に最適化することで,効率的なパラメータを用いながらタイトに帰着できることを示す.我々の結果の応用例として,BLISS署名において,同じ安全性を保ちながら約半分まで事前計算テーブルサイズを減らすことができることを示す.

  • 楕円曲線間 同種写像の暗号応用

    高島 克幸  [招待有り]

    第 7 回暗号及び情報セキュリティと数学の相関 (CRISMATH) ワークショップ   (産業技術総合研究所 臨海副都心センター) 

    発表年月: 2015年12月

  • Decentralized Attribute-Based Cryptosystems

     [招待有り]

    IMI ワークショッププライバシ保護・分散型管理の次世代暗号技術とこれを支える数理構造   (九州大学 産学官連携本部 産学官連携イノベーションプラザ) 

    発表年月: 2015年09月

    開催年月:
    2015年09月
     
     
  • 高安全な関数型代理人再暗号化

    高島 克幸  [招待有り]

    MELT up フォーラム 組織間機密通信のための組織暗号の研究開発と社会的利用   (中央大学後楽園キャンパス) 

    発表年月: 2015年06月

  • 関数型暗号とその数理技法の進展

    高島 克幸  [招待有り]

    IMI 先進暗号数理デザイン室開設式・記念 ワークショップ   (九州大学 共進化社会システムイノベーション施設) 

    発表年月: 2015年06月

  • 多重線形写像の暗号応用

    高島 克幸  [招待有り]

    ワークショップ Intersection of Pure Mathematics and Applied Mathematics VIII   (九州大学 マス・フォア・インダストリ研究所) 

    発表年月: 2015年02月

  • 改善された安全性証明を持つ GGHLite パラメータ

    高安 敦, 高島 克幸

    2015 年暗号と情報セキュリティシンポジウム (SCIS 2015)   (リーガロイヤルホテル小倉) 

    発表年月: 2015年01月

     概要を見る

    セッション番号 2D4 暗号理論(1) 講演番号 2D4-2

  • 通信量が改善された DLIN 仮定に基づく検証可委譲計算

    高島 克幸

    2015 年暗号と情報セキュリティシンポジウム (SCIS 2015)   (リーガロイヤルホテル小倉) 

    発表年月: 2015年01月

     概要を見る

    セッション番号 3F2 暗号プロトコル(4) 講演番号 3F2-5

  • Functional Encryption from Dual Pairing Vector Spaces

    Katsuyuki Takashima  [招待有り]

    IMI Workshop of the Joint Research Projects "Functional Encryption as a Social Infrastructure and its Realization by Elliptic Curves and Lattices"   (Kyushu University) 

    発表年月: 2014年09月

    開催年月:
    2014年09月
     
     
  • 楕円曲線暗号の進展

    高島 克幸  [招待有り]

    2014年度 日本数学会年会 企画特別講演   (学習院大学) 

    発表年月: 2014年03月

  • 関数型暗号における失効管理方式に関する考察

    伊藤 隆, 市川 幸宏, 森 拓海, 川合 豊, 高島 克幸

    2014 年暗号と情報セキュリティシンポジウム (SCIS 2014)  

    発表年月: 2014年01月

     概要を見る

    講演番号 2C3-2

  • 複数回再暗号化が可能な効率的関数型代理人再暗号化の構成に向けて

    川合 豊, 高島 克幸

    2014 年暗号と情報セキュリティシンポジウム (SCIS 2014)  

    発表年月: 2014年01月

     概要を見る

    講演番号 4E1-3

  • 識別不可性難読化に基づく分散的鍵発行型の属性ベース暗号系

    高島 克幸

    2014 年暗号と情報セキュリティシンポジウム (SCIS 2014)  

    発表年月: 2014年01月

     概要を見る

    講演番号 3B3-4

  • 楕円曲線アルゴリズムの暗号応用

    高島 克幸  [招待有り]

    北陸数論研究集会   (金沢大学 サテライトプラザ) 

    発表年月: 2013年12月

  • Fully-Anonymous Functional Proxy-Re-Encryption

    Yutaka Kawai, Katsuyuki Takashima

    CRYPTO 2013 Rump Session  

    発表年月: 2013年08月

  • Decentralized Attribute-Based Signatures

    高島 克幸  [招待有り]

    PKC 2013 を勉強する会   (IIJ) 

    発表年月: 2013年06月

  • アクセス条件を変更可能な関数型暗号

    高島 克幸  [招待有り]

    第 32 回 ISSスクエア 水平ワークショッ プ「クラウド向け暗号技術の展開と課題」   (情報セキュリティ大学院大学) 

    発表年月: 2013年05月

  • 公開鍵による制限がなく属性・述語を設定可能な十分安全内積述語暗号 & 属性 ベース暗号

    高島 克幸  [招待有り]

    第 6 回 公開鍵暗号の安全な構成とその応用ワークショップ   (筑波大学 東京キャンパス 文京校舎)  産総研  

    発表年月: 2013年03月

  • 代理人再暗号化機能を持つ関数型暗号

    川合 豊, 高島 克幸

    2013 年暗号と情報セキュリ ティシンポジウム (SCIS 2013)  

    発表年月: 2013年01月

     概要を見る

    講演番号 1A1-3

  • 公開鍵による制限がなく属性・述語を設定可能な十分安全関数型暗号の設計法

    岡本 龍明, 高島 克幸

    2013 年暗号と情報セキュリティシンポジウム (SCIS 2013)  

    発表年月: 2013年01月

     概要を見る

    講演番号 3F3-1

  • Recent Topics on Functional Encryption

    Katsuyuki Takashima  [招待有り]

    The 7th International Workshop on Security (IWSEC 2012)  

    発表年月: 2012年11月

  • Inner Product Encryption on Dual Pairing Vector Spaces

    Katsuyuki Takashima  [招待有り]

    2012 Workshop "Cryptographic Technologies suitable for Cloud Computing"   (IMI, Kyushu University) 

    発表年月: 2012年10月

  • 適応的属性秘匿安全な(階層的)内積述語暗号

    高島 克幸  [招待有り]

    電子情報通信学会 ISEC研究会 (信学技報 ISEC 2012-52 (2012-9))   (機械振興会館) 

    発表年月: 2012年09月

  • Efficient (Hierarchical) Inner Product Encryption Tightly Reduced from the Decisional Linear Assumption

    Tatsuaki Okamoto, Katsuyuki Takashima

    CRYPTO 2012 Rump Session  

    発表年月: 2012年08月

  • Efficiently Computable Distortion Maps for Supersingular Curves

    Katsuyuki Takashima  [招待有り]

    Mini Workshop on Algebraic Curves for Coding Theory and Cryptography   (滋賀医大) 

    発表年月: 2012年07月

  • Adaptively Attribute-Hiding (Hierarchical) Inner Product Encryption

    Katsuyuki Takashima  [招待有り]

    The 5th International Conference on Pairing-Based Cryptography (Pairing 2012)  

    発表年月: 2012年05月

  • 関数型暗号研究の最近の進展

    高島 克幸  [招待有り]

    第 5 回産総研公開鍵暗号の安全な構成とその応用ワークショップ   (富士ソフト アキバプラザ) 

    発表年月: 2012年02月

  • 短暗号文又は短秘密鍵を有する内積述語暗号のモジュラーな設計法

    岡本 龍明, 高島 克幸

    2012 年暗号と情報セキュリティシンポジウム (SCIS 2012)  

    発表年月: 2012年01月

     概要を見る

    講演番号 1A1-1

  • 線型性判定 (DLIN) 仮定に基づく関数型暗号と属性ベース署名

    高島 克幸  [招待有り]

    第 3 回 暗号フロンティア研究会   (北陸先端科学技術大学院大学) 

    発表年月: 2011年09月

  • Adaptively Attribute-Hiding (Hierarchical) Inner Product Encryption

    Tatsuaki Okamoto, Katsuyuki Takashima

    CRYPTO 2011 Rump Session  

    発表年月: 2011年08月

     概要を見る

    講演ビデオが CRYPTO 2011 Rump Session ホームページから視聴可能 https://iacr.org/cryptodb/archive/2011/CRYPTO/video/rump/index.html

  • Survey of Recent Developments in Functional Encryption and Attribute-Based Signatures

    Katsuyuki Takashima  [招待有り]

    Cryptography Seminar   (Computer Science Department, The University of Salerno)  Computer Science Department, The University of Salerno  

    発表年月: 2011年03月

    開催年月:
    2011年03月
     
     
  • Hierarchical Design and Security Proofs for Functional Encryption

    Tatsuaki Okamoto, Katsuyuki Takashima

    2011 年暗号と情報セキュリティシンポジウム (SCIS 2011)  

    発表年月: 2011年01月

     概要を見る

    講演番号 3F1-1

  • 関数型暗号について -クラウド時代の暗号開発-

    高島 克幸  [招待有り]

    第 19 回 ISSスクエア 水平ワークショップ「暗号理論研究の現場から」   (情報セキュリティ大学院大学) 

    発表年月: 2010年11月

  • Efficient Biometric Authentication Using 2-DNF Evaluation

    Mitsuhiro Hattori, Nori Matsuda, Takashi Ito, Yoichi Shibata, Katsuyuki Takashima, Takeshi Yoneda

    2010 年 マルチメ ディア, 分散, 協調とモバイルシンポジウム (DICOMO 2010)  

    発表年月: 2010年07月

     概要を見る

    最優秀論文賞 受賞.デモセッション/企業展示,DS-5

  • Fully Secure Predicate Encryption for Inner Product Predicates

     [招待有り]

    「暗号理論の安全性を支える数論アルゴリズムとその応用」ワークショップ   (九州大学 数理学研究科) 

    発表年月: 2010年06月

  • 階層的内積述語暗号の新しい構成法とその安全性証明法

    高島 克幸  [招待有り]

    第 4 回公開鍵暗号の安全な構成とその応用ワークショップ   (産総研 秋葉原ダイビル) 

    発表年月: 2010年02月

  • Hierarchical Predicate Encryption with Inner-Products from a Single DDH-like Assumption

    Tatsuaki Okamoto, Katsuyuki Takashima

    2010 年暗号と情報セキュリティシンポジウム (SCIS 2010)  

    発表年月: 2010年01月

     概要を見る

    講演番号 2C3-3

  • 楕円曲線上のペアリングを用いた暗号の概説

    高島 克幸  [招待有り]

    RIMS 研究集会「代数的整数論とその周辺」   (東京大学数理科学研究科) 

    発表年月: 2009年12月

  • Secure Biometric Authentication Using 2-DNF Homomorphic Encryption

    Mitsuhiro Hattori, Yoichi Shibata, Takashi Ito, Nori Matsuda, Katsuyuki Takashima, Takeshi Yoneda

    IEICE, Technical Report, ISEC 2009-68 (2009-11), pp.113–120  

    発表年月: 2009年11月

  • A Geometric Approach on Pairings and Hierarchical Predicate Encryption

    Tatsuaki Okamoto, Katsuyuki Takashima

    The 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2009)  

    発表年月: 2009年04月

  • An Algorithm for Computing a Sequence of Richelot Isogenies

    Reo Yoshida, Katsuyuki Takashima

    2009 年暗号と情報セキュリティシンポジウム (SCIS 2009)  

    発表年月: 2009年01月

     概要を見る

    講演番号 4C1-5

  • Relations among Computational and Decisional Problems concerning Vector Decomposition Problems

    Tatsuaki Okamoto, Katsuyuki Takashima

    2009 年暗号と情報セキュリティシンポジウム (SCIS 2009)  

    発表年月: 2009年01月

  • 超特異曲線上の効率的に計算可能な distortion 写像

    高島 克幸

    日本応用数理学会,第 18 回 数論アルゴリズムとその応用 研究会 (JANT 18)  

    発表年月: 2008年07月

  • Algorithms of Computing a Sequence of 2-isogenies

    Reo Yoshida, Katsuyuki Takashima

    2008 年暗号と情報セキュリティシンポジウム (SCIS 2008)  

    発表年月: 2008年01月

     概要を見る

    講演番号 2D3-4

  • Efficiently Computable Distortion Maps on Supersingular Curves

    Katsuyuki Takashima

    2008 年暗号と情報セキュリティシンポジウム (SCIS 2008)  

    発表年月: 2008年01月

     概要を見る

    講演番号 2D4-3

  • 楕円曲線間の同種写像の暗号応用

    高島 克幸  [招待有り]

    ワークショップ「2007 代数曲線暗号を巡って」   (中央大学) 

    発表年月: 2007年11月

  • ID ベース暗号の複数ユーザ安全性とその複数受信者方式の安全性

    高島 克幸

    2007 年暗号と情報セキュリティシンポジウム (SCIS 2007)  

    発表年月: 2007年01月

     概要を見る

    講演番号 4A1-5

  • Practical Modifications of Leadbitter et al.'s Repeated-Bits Side-Channel Analysis on (EC)DSA

    高島 克幸  [招待有り]

    IPA 先端暗号技術ワークショップ  

    発表年月: 2006年10月

  • 効率的な自己準同型写像を用いた高速ペアリング演算法について

    高島 克幸  [招待有り]

    Algebraic Cryptography Seminar  

    発表年月: 2006年06月

  • 効率的な準同型写像を用いて高速ペアリング演算を実現する楕円曲線パラメータ設定法について

    高島 克幸

    2006 年暗号と情報セキュリティシンポジウム (SCIS 2006)  

    発表年月: 2006年01月

     概要を見る

    講演番号 4C2-4

  • 実乗法を用いた種数2 超楕円曲線暗号の効率的な演算法

    高島 克幸  [招待有り]

    九州大学 代数学セミナー  

    発表年月: 2005年07月

  • 格子基底縮小アルゴリズムを用いた (EC)DSA へのサイドチャネル解析について

    高島 克幸

    2005 年暗号と情報セキュリティシンポジウム (SCIS 2005)  

    発表年月: 2005年01月

     概要を見る

    講演番号 2D1-3

  • 効率的に計算可能な準同型を用いた楕円曲線及び超楕円曲線ヤコビ多様体上のスカラー倍算法について

    高島 克幸

    2004 年暗号と情報セキュリティシンポジウム (SCIS 2004)  

    発表年月: 2004年01月

     概要を見る

    講演番号 3A3-3

  • 素体乗算はどこまで OEF に近づけるか

    青木 和麻呂, 桶屋 勝幸, 小林 鉄太郎, 酒井 康行, 高島 克幸, 鶴丸 豊広, 山本 剛, 吉田 博隆, 渡辺 大

    2004 年暗号と情報セキュリティシンポジウム (SCIS 2004)  

    発表年月: 2004年01月

     概要を見る

    論文番号 3A3-5

  • Improvements in the genus 2 CM method

    Katsuyuki Takashima  [招待有り]

    Workshop in Arithmetic Geometry and Applications (ECHIDNA)  

    発表年月: 2002年07月

  • 虚数乗法論を用いた超楕円曲線暗号構成法について(種数2 の場合を中心に)

    高島 克幸  [招待有り]

    Algebraic Cryptography Seminar   (大阪府立大学) 

    発表年月: 2001年11月

  • 虚数乗法論を用いた種数2 超楕円曲線暗号構成法の改良

    高島 克幸  [招待有り]

    第 2 回暗号理論とそれを支える代数曲線理論ワークショップ   (中央大学) 

    発表年月: 2001年08月

    開催年月:
    2001年08月
     
     
  • 主偏極 CM アーベル曲面の井草不変量が満たす類多項式について

    高島 克幸

    日本応用数理学会,第 3 回 数論アルゴリズムとその応用研究会 (JANT 3)  

    発表年月: 2001年01月

  • 虚数乗法論を用いた種数 2 超楕円曲線の効率的な構成法について

    高島 克幸

    2001 年暗号と情報セキュリティシンポジウム (SCIS 2001)  

    発表年月: 2001年01月

     概要を見る

    SCIS 2001 論文賞 受賞.講演番号 13B-1

  • The 4th Workshop on Elliptic Curve Cryptography (ECC 2000) 参加報告

    高島 克幸

    電子情報通信学会,信学技報,ISEC 2000-98 (2000-12),pp. 15–20  

    発表年月: 2000年12月

  • 暗号性能評価ソフトウエアの開発

    天田 誠一, 反町 亨, 中嶋 純子, 酒井 康行, 高島 克幸, 今井 秀樹

    2000年暗号と情報セキュリティシンポジウム (SCIS 2000)  

    発表年月: 2000年01月

  • ある代数対応を用いたヤコビアンの定数倍算法について

    高島 克幸, 趙 晋輝

    1999 年暗号と情報セキュリティシンポジウム (SCIS 1999)  

    発表年月: 1999年01月

  • On Teichm\"uller space of once punctured elliptic curves

    高島 克幸  [招待有り]

    第30 回函数論サマーセミナー   (日本大学八海山セミナーハウス) 

    発表年月: 1995年08月

  • On Teichm\"uller space of once punctured elliptic curves

    高島 克幸  [招待有り]

    研究集会「リーマン面に関連する位相幾何学」   (北海道大学理学部数学教室) 

    発表年月: 1995年06月

    開催年月:
    1995年06月
     
     

▼全件表示

共同研究・競争的資金等の研究課題

  • 知的量子設計による量子ソフトウェア研究開発と応用

    文部科学省委託事業  光・量子飛躍フラッグシッププログラム(Q-LEAP)量子情報処理(量子AI)

    研究期間:

    2021年04月
    -
    2030年03月
     

  • 同種写像の様々な性質を活用した暗号設計とその安全性解析

    日本学術振興会  科学研究費助成事業 基盤研究(C)

    研究期間:

    2022年04月
    -
    2027年03月
     

    高島 克幸

     概要を見る

    楕円曲線上の同種写像は,量子計算機でも破れない耐量子計算機暗号以外にも,多種多様な暗号を設計するうえで有用であることが認識されてきている。本研究では,安全性基盤となる同種写像問題の計算困難性を調べると共に,研究代表者により既に提案済みである同種ペアリング群(IPG)という新規暗号設計フレームワーク上で既存のペアリング暗号を再構成することで,その安全性向上を図っていく。更に,IPG上で,IDベース暗号や属性ベース暗号等を,同種写像の逐次計算特性を利用したタイムリリース機能付き高機能暗号へ発展させることも研究する。また,楕円曲線のみならず高種数の代数曲線に関しても,上記の研究を進める。

  • ポスト量子社会が求める高機能暗号の数理基盤創出と展開

    JST  CREST

    研究期間:

    2022年10月
    -
    2027年
     

  • 同種写像暗号に対する数理的技法による解読法の探求と計算量評価

    日本学術振興会  科学研究費助成事業 挑戦的研究(萌芽)

    研究期間:

    2019年06月
    -
    2023年03月
     

    安田 雅哉, 高島 克幸

     概要を見る

    近年、超特異楕円曲線間の同種写像の列を利用した同種写像暗号は、量子計算機による暗号解読でも耐性のある耐量子計算機暗号技術(Post-Quantum Cryptography)の1つとして期待されている。具体的には、米国標準技術研究所NISTが2016年以降進めている耐量子計算機暗号の標準化プロセスにおいて、超特異楕円曲線上の鍵交換アルゴリズムSIKE(Supersingular Isogeny Key Encapsulation)は2020年7月にThird Roundに進むことが許可された15方式の内の1つに選出された。同種写像暗号の安全性は、2つの同種な楕円曲線を結ぶ同種写像の列を具体的に計算する同種写像問題の計算量困難性に依存する。一方、楕円曲線論において、有限体上の超特異楕円曲線全体と四元数環におけるmaximal order全体が1対1に対応するDeuring対応が知られている。本年度(2021年度)は、超特異楕円曲線のDeuring対応下における四元数環上の同種写像問題を効率的に解くKohel-Lauter-Petit-Tignol(KLPT)アルゴリズムの高速実装に成功した。また、実装開発したKLPTアルゴリズムに加えて、超特異楕円曲線のねじれ点の高速探索法を提案し、与えられたイデアルにDeuring対応する超特異楕円曲線を求める構成的Deuring対応問題を実用的な処理時間で求解可能であることを示した。(近年、構成的Deuring対応計算は超特異楕円曲線の同種写像列を利用した署名方式などで非常に注目されている。)これらの研究成果は、多数の国内会議で発表すると共に、査読付きの国際会議・国際雑誌にも採択された。

  • 次世代暗号に向けたセキュリティ危殆化回避数理モデリング

    JST  CREST

    研究期間:

    2014年10月
    -
    2022年03月
     

Misc

▼全件表示

 

現在担当している科目

▼全件表示

 

学術貢献活動

  • 国際会議プログラム委員: IWSEC 2009, Pairing 2010, Pairing 2012, ProvSec 2012, PKC 2013, Pairing 2013, CRYPTO 2014, CANS 2014, IWSEC 2015, IWSEC 2016, CANS 2016, IWSEC 2017, IWSEC 2018, ProvSec 2018, PQCrypto 2019, IWSEC 2019, ProvSec 2019, IWSEC 2020, ProvSec 2020, IWSEC 2021, ICISC 2021, ASIACRYPT 2021, SAC 2022, ACNS 2023, SAC 2023, IWSEC 2024, INDOCRYPT 2024

他学部・他研究科等兼任情報

  • 教育・総合科学学術院   大学院教育学研究科