研究者詳細

顔写真

コイズミ　エイスケ
小泉　英介
Eisuke Koizumi
所属
データ駆動科学・ＡＩ教育研究センター　データ科学教育研究部門
職名
助教
学位

  • 博士(理学) （東北大学）

学歴 2

  • 東北大学　理学研究科

    ～ 2005年3月

  • 東北大学　理学部

    ～ 1998年3月

所属学協会 1

  • 日本数学会

研究キーワード 3

  • 暗号

  • 計算量

  • 情報セキュリティ

研究分野 2

  • 自然科学一般 / 応用数学、統計数学 /

  • 情報通信 / 情報学基礎論 /

論文 22

  1. Robust Ownership Verification of DNN Models Against JPEG Compression via Probability-Controlled Adversarial Attacks 査読有り

    Teruki Sano, Minoru Kuribayashi, Masao Sakai, Shuji Isobe, Eisuke Koizumi, Zhang Zhang

    2025 Asia Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA ASC)　2140-2145　2025年10月22日

    出版者・発行元： IEEE

    DOI： 10.1109/apsipaasc65261.2025.11249003 　

  2. Ownership Verification of Dnn Models Using White-Box Adversarial Attacks with Specified Probability Manipulation 査読有り

    Teruki Sano, Minoru Kuribayashi, Masao Sakai, Shuji Isobe, Eisuke Koizumi

    2025 33rd European Signal Processing Conference (EUSIPCO)　795-799　2025年9月8日

    出版者・発行元： IEEE

    DOI： 10.23919/eusipco63237.2025.11226515 　

  3. Decentralized Federated Learning using Blockchain with Token Allocation Based on Contribution of Model Updates

    Koyo MURAKATA, Minoru KURIBAYASHI, Masao SAKAI, Shuji ISOBE, Eisuke KOIZUMI

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　2025年

    出版者・発行元： Institute of Electronics, Information and Communications Engineers (IEICE)

    DOI： 10.1587/transfun.2025cip0025 　

    ISSN：0916-8508

    eISSN：1745-1337

  4. A construction of encryption protocols over some semidirect products 査読有り

    Shuji Isobe, Eisuke Koizumi

    Journal of Mathematical Cryptology　17　(1)　2023年1月1日

    出版者・発行元： Walter de Gruyter GmbH

    DOI： 10.1515/jmc-2022-0018 　

    eISSN：1862-2984

    詳細を見る 詳細を閉じる

    Abstract In CANDARW ’18, Isobe et al. proposed a secure encryption protocol on non-abelian groups based on the Anshel–Anshel–Goldfeld key exchange protocol. There have remained two weak points on the protocol: one is that the protocol is indistinguishable against adaptive chosen ciphertext attack (IND-CCA) in a slightly restricted sense, what they call IND-rCCA secure, and the other is that the conditions imposed on groups and hashing schemes are too strict to make the protocol practical. In this article, we propose an IND-CCA secure protocol that resolves those problems. The key idea is to employ some specific semidirect product as platform groups, so that we can achieve the exact IND-CCA security from concise conditions on groups and hashing schemes. Our protocol is not dependent on any computational assumptions on abelian subgroups.

  5. On a Relation between Knowledge-of-Exponent Assumptions and the DLog vs. CDH Question 査読有り

    Firas KRAIEM, Shuji ISOBE, Eisuke KOIZUMI, Hiroki SHIZUYA

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　E104.A　(1)　20-24　2021年1月1日

    出版者・発行元： Institute of Electronics, Information and Communications Engineers (IEICE)

    DOI： 10.1587/transfun.2020cip0002 　

    ISSN：0916-8508

    eISSN：1745-1337

  6. On the Classification of Knowledge-of-exponent Assumptions in Cyclic Groups 査読有り

    Firas Kraiem, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya

    Interdisciplinary Information Sciences　25　(1)　67-74　2019年9月

    出版者・発行元： Graduate School of Information Sciences, Tohoku University

    DOI： 10.4036/iis.2019.r.03 　

    ISSN：1340-9050

    eISSN：1347-6157

  7. A Construction of Cramer-Shoup Like Encryption Protocols Based on the Anshel-Anshel-Goldfeld Key Exchange Protocol 査読有り

    Shuji Isobe, Jun-ya Iwazaki, Eisuke Koizumi, Atsushi Suda

    The Sixth International Symposium on Computing and Networking Workshops (CANDAR 2018)　410-416　2018年11月

    出版者・発行元：

    DOI： 10.1109/CANDARW.2018.00082 　

  8. A Method for Constructing an Autonomous Decentralized P2P Storage with High Confidentiality and Reliability 査読有り

    Masayuki Fukumitsu, Shingo Hasegawa, Shuji Isobe, Jun-ya Iwazaki, Eisuke Koizumi, Masao Sakai

    The Fifth International Symposium on Computing and Networking (CANDAR 2017)　439-444　2017年11月

    出版者・発行元：

    DOI： 10.1109/CANDAR.2017.67 　

  9. Autoreducibility and Completeness for Partial Multivalued Functions 査読有り

    Shuji Isobe, Eisuke Koizumi

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　E100D　(3)　422-427　2017年3月

    DOI： 10.1587/transinf.2016FCP0006 　

    ISSN：1745-1361

  10. A Rigorous Security Proof for the Enhanced Version of Password-Protected Secret Sharing Scheme 査読有り

    Shingo Hasegawa, Shuji Isobe, Jun-ya Iwazaki, Eisuke Koizumi, Hiroki Shizuya

    Interdisciplinary Information Sciences　22　(1)　31-55　2016年11月

    出版者・発行元： 東北大学大学院情報科学研究科ジャーナル編集委員会

    DOI： 10.4036/iis.2015.R.04 　

    ISSN：1347-6157

    詳細を見る 詳細を閉じる

    The password-protected secret sharing (PPSS, for short) and its security notion, called in this paper the PPSS-security, were proposed by Bagherzandi, Jarecki, Saxena and Lu. However, another security notion for PPSS schemes, the pparam-security was proposed by Hasegawa, Isobe, Iwazaki, Koizumi and Shizuya, because they pointed out an attack which can break the original protocol proposed by Bagherzandi et al. Hasegawa et al. also showed how to enhance the protocol, and proved that the enhanced one is pparam-secure. In this paper, we prove that the enhanced one is PPSS-secure as well.

  11. A Construction of Attribute-based Aggregate Signatures 査読有り

    Shingo Hasegawa, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya, Ryo Takahashi

    PROCEEDINGS OF 2016 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA 2016)　76-80　2016年

  12. A Strengthened Security Notion for Password-Protected Secret Sharing Schemes 査読有り

    Shingo Hasegawa, Shuji Isobe, Jun-ya Iwazaki, Eisuke Koizumi, Hiroki Shizuya

    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　E98A　(1)　203-212　2015年1月

    DOI： 10.1587/transfun.E98.A.203 　

    ISSN：1745-1337

  13. On the Complexity of Computing Discrete Logarithms over Algebraic Tori 査読有り

    Shuji Isobe, Eisuke Koizumi, Yuji Nishigaki, Hiroki Shizuya

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　E97D　(3)　442-447　2014年3月

    DOI： 10.1587/transinf.E97.D.442 　

    ISSN：0916-8532

    eISSN：1745-1361

  14. Password-protected Secret-sharing Schemes without Random Oracles 査読有り

    Shingo Hasegawa, Shuji Isobe, Jun-ya Iwazaki, Eisuke Koizumi, Hiroki Shizuya

    2014 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA)　566-570　2014年

  15. On the length-decreasing self-reducibility and the many-one-like reducibilities for partial multivalued functions 査読有り

    Ji-Won Huh, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya

    IEICE Transactions on Information and Systems　E96-D　(3)　465-471　2013年

    出版者・発行元： Institute of Electronics, Information and Communication, Engineers, IEICE

    DOI： 10.1587/transinf.E96.D.465 　

    ISSN：1745-1361 0916-8532

  16. Toward separating the strong adaptive pseudo-freeness from the strong RSA assumption 査読有り

    Masayuki Fukumitsu, Shingo Hasegawa, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　7959　72-87　2013年

    DOI： 10.1007/978-3-642-39059-3_6 　

    ISSN：0302-9743 1611-3349

  17. Distributed Construction of Trust Anchor with the Hyper-Powering Signature Scheme 査読有り

    Eisuke Koizumi, Marika Minagawa, Hiroki Shizuya

    Interdisciplinary Information Sciences　18　(1)　25-36　2012年11月

    出版者・発行元： The Editorial Committee of the Interdisciplinary Information Sciences

    DOI： 10.4036/iis.2012.25 　

    ISSN：1340-9050

    詳細を見る 詳細を閉じる

    In this paper, we explore a strategy for recovering a PKI system without reconstructing the whole one when the trust anchor has been broken. Specifically, we propose two distributed signature schemes based on the hyper-powering discrete logarithm problem, which is a two-dimensional extension of the discrete logarithm problem. We show that these schemes are existentially unforgeable against the adaptively chosen message attack.

  18. On the Complexity of Computing Discrete Logarithms over Algebraic Tori 査読有り

    Shuji Isobe, Eisuke Koizumi, Yuji Nishigaki, Hiroki Shizuya

    CRYPTOLOGY AND NETWORK SECURITY, PROCEEDINGS　5888　433-442　2009年

    ISSN：0302-9743

  19. Making cryptographic primitives harder 査読有り

    Shingo Hasegawa, Hiroyuki Hatanaka, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya

    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　E91A　(1)　330-337　2008年1月

    DOI： 10.1093/ietfec/e91-a.1.330 　

    ISSN：1745-1337

  20. 平成18年度東北大学学士課程入学者の基礎的情報対応能力について 査読有り

    静谷啓樹, 林 一夫, 酒井正夫, 磯辺秀司, 小泉英介

    東北大学高等教育開発推進センター紀要　(2)　83-89　2007年3月

    出版者・発行元： 東北大学高等教育開発推進センター

    ISSN：1881-0853

  21. The logarithwc term of the Szego kernel for two-dimensional Grauert tubes 査読有り

    E Koizumi

    OSAKA JOURNAL OF MATHEMATICS　42　(2)　339-351　2005年6月

    ISSN：0030-6126

  22. Hodograph transformations and the Chern-Moser invariants on the boundary of tube domains 査読有り

    E Koizumi

    KYUSHU JOURNAL OF MATHEMATICS　59　(1)　1-23　2005年3月

    DOI： 10.2206/kyushujm.59.1 　

    ISSN：1340-6116

    eISSN：1883-2032

︎全件表示 ︎最初の5件までを表示

MISC 12

  1. 準同型暗号の安全性証明の限界について (情報セキュリティ)

    高橋 大樹, 長谷川 真吾, 磯辺 秀司, 小泉 英介, 静谷 啓樹

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報　114　(471)　33-38　2015年3月2日

    出版者・発行元： 一般社団法人電子情報通信学会

    ISSN： 0913-5685

    詳細を見る 詳細を閉じる

    本稿では,準同型暗号を対象として,安全性証明の根拠となり得る言語の複雑さを評価することで,安全性証明の限界について検討する.具体的には,任意の二項組(b,c)が与えられたとき,cが平文bの暗号文になっているかどうかを判定する問題(暗号文検証問題)の複雑さがNPの内部階層のLow階層で特徴付けられる場合について,準同型暗号方式に対する安全性証明の限界がLow階層で特徴づけられることを示す.さらに,暗号文検証問題が統計的ゼロ知識証明を持つ言語のクラスSZKで特徴付けられる場合についても同様の考察を行い,この場合については,安全性証明の限界がSZKとAM∩coAMの中間に位置する程度のクラスで特徴付けられることを示す.

  2. 情報の漏れを許容する知識の対話証明 (ライフインテリジェンスとオフィス情報システム)

    岩﨑 淳也, 長谷川 真吾, 磯辺 秀司, 小泉 英介, 静谷 啓樹

    電子情報通信学会技術研究報告 : 信学技報　111　(286)　149-154　2011年11月14日

    出版者・発行元： 一般社団法人電子情報通信学会

    ISSN： 0913-5685

    詳細を見る 詳細を閉じる

    ゼロ知識性に代わりうる概念として少知識性を導入する.少知識性とは,証明者と検証者の対話の中には,証明者の持つ秘密情報を計算できるための情報は含まれていないことを意味している.そして,一定の性質を満たす関数の中で,計算量的ゼロ知識対話証明を持つものは,少知識対話証明も持つことを示す.

  3. トラストアンカー回復技術について

    海上 勇二, 前田 学, 布田 裕一, 長谷川 真吾, 磯辺 秀司, 小泉 英介, 酒井 正夫, 静谷 啓樹

    コンピュータセキュリティシンポジウム2009 (CSS2009) 論文集　2009　1-6　2011年10月12日

  4. 多価関数における自己帰着と many-one 型帰着について

    許 智元, 磯辺 秀司, 小泉 英介, 静谷 啓樹

    電子情報通信学会技術研究報告. ISEC, 情報セキュリティ　110　(443)　389-294　2011年2月24日

    出版者・発行元： 一般社団法人電子情報通信学会

    ISSN： 0913-5685

    詳細を見る 詳細を閉じる

    本稿では,多価関数のクラスにおける自己帰着とmany-one型帰着の関係について考察する.結果として,parsimonious(many-oneまたはmetric many-one)帰着に関するすべてのNPMV(またはNPMV_g)完全関数がTuring length-decreasing self-reducibleならば,NPMV(またはNPMV_g)に属するすべての関数に対して,多項式時間計算可能な洗練が存在することを示した.このことは,P≠NPである限り,NPMV(またはNPMV_g)完全かつTuring length-decreasing self-reducibleでない関数が存在することを意味している.

  5. 代数的トーラス上の離散対数問題に関する計算量理論的考察

    西垣 裕次, 長谷川 真吾, 磯辺 秀司, 小泉 英介, 酒井 正夫, 静谷 啓樹

    電子情報通信学会技術研究報告. ISEC, 情報セキュリティ　108　(473)　545-550　2009年3月2日

    出版者・発行元： 一般社団法人電子情報通信学会

    ISSN： 0913-5685

    詳細を見る 詳細を閉じる

    本稿では,代数的トーラス上の離散対数問題(TDLP)を計算量理論の立場から考察する.得られた主な結果は次のとおりである.(1)代数的トーラスは計算可能な群である.(2)TDLPはNPとcoNPの共通部分に属する言語に多項式時間で帰着する.(3)底の位数に関する証明の付いた離散対数問題はTDLPを変形した問題の一つひ多項式時間で帰着する.

  6. 平成20年度東北大学学士課程入学者の基礎的な情報対応能力について

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 安西従道, 行方義忠

    東北大学高等教育開発推進センター紀要　4　(4)　217-223　2009年3月

    出版者・発行元： 東北大学高等教育開発推進センター

    ISSN： 1881-0853

  7. 平成19年度東北大学学士課程入学者の基礎的な情報対応能力について

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 安西従道

    東北大学高等教育開発推進センター紀要　(3)　307-312　2008年3月

    出版者・発行元： 東北大学高等教育開発推進センター

    ISSN： 1881-0853

  8. 公開鍵基盤の頑健化について

    吉田 正樹, 長谷川 真吾, 磯辺 秀司, 小泉 英介, 酒井 正夫, 静谷 啓樹, 布田 裕一, 前田 学

    電子情報通信学会技術研究報告. IT, 情報理論　106　(595)　119-124　2007年3月9日

    出版者・発行元： 一般社団法人電子情報通信学会

    ISSN： 0913-5685

    詳細を見る 詳細を閉じる

    公開鍵基盤において,鍵の信頼性を保障するトラストアンカーが破綻した場合に,基盤全体の再構築をすることなくシステムを回復する方法を考察する.また,基盤の運用面や構成面における安全性や柔軟性を高める方法についても併せて考察する.

  9. ITの教育利用に関する学士課程入学者に対するアンケート調査 ―IT 志向と教育利用ニーズを中心として―

    林 一夫, 静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介

    東北大学高等教育開発推進センター紀要　(2)　225-235　2007年3月

    出版者・発行元： 東北大学高等教育開発推進センター

    ISSN： 1881-0853

  10. 東北大学川内北キャンパスの無線ＬＡＮ接続サービス

    酒井正夫, 静谷啓樹, 磯辺秀司, 小泉英介, 二階堂秀夫, 安西従道, 白石茂典, 田中秀樹

    東北大学高等教育開発推進センター紀要　(2)　245-250　2007年3月

    出版者・発行元： 東北大学高等教育開発推進センター

    ISSN： 1881-0853

  11. 抽象的DDoS攻撃問題の複雑さについて

    横田 大介, 磯辺 秀司, 小泉 英介, 酒井 正夫, 静谷 啓樹

    電子情報通信学会技術研究報告. WBS, ワイドバンドシステム : IEICE technical report　105　(665)　117-121　2006年3月16日

    出版者・発行元： 一般社団法人電子情報通信学会

    ISSN： 0913-5685

    詳細を見る 詳細を閉じる

    インターネットにおける深刻な問題の一つにDDoS攻撃がある.この攻撃に対抗するため,さまざまな防衛技術が研究・開発されてきた.一方,DDoS攻撃からネットワークを守るには,攻撃者の視点によるネットワークの脆弱性を明らかにすることが望ましいが,このような観点からの研究はほとんどなされていない.本稿では,DDoS攻撃を動的ネットワーク上の始点配置問題として定式化する.そして,この問題がNP完全である,すなわち攻撃者にとって理想的な踏み台配置は難しい,ということを示す.

  12. DH問題とその派生問題の複雑さについて

    真鍋 一成, 磯辺 秀司, 小泉 英介, 酒井 正夫, 静谷 啓樹

    電子情報通信学会技術研究報告. WBS, ワイドバンドシステム : IEICE technical report　105　(665)　105-110　2006年3月16日

    出版者・発行元： 一般社団法人電子情報通信学会

    ISSN： 0913-5685

    詳細を見る 詳細を閉じる

    Diffie-Hellman鍵交換方式(DH方式)が登場して以来,今日までDH方式を破る関数DHの複雑さについて多くの研究がなされてきた.一方で近年になって,関数DHから派生したcoDHと呼ばれる新しい関数が提案され,coDHの複雑さにその安全性を依存する暗号方式がいくつか考えられている.しかし,関数coDHの複雑さについてはあまりよくわかっていない.例えば,DHやその他のよく知られた暗号学的関数との間の帰着関係は明らかではない.本論文では,coDHと他のいくつかの関数との間の帰着関係を考察し,coDHの複雑さを解析する.

︎全件表示 ︎最初の5件までを表示

書籍等出版物 4

  1. 数理思考演習

    磯辺, 秀司, 小泉, 英介, 静谷, 啓樹, 早川, 美徳

    共立出版　2023年4月

    ISBN: 9784320125209

  2. コンピュテーショナル・シンキング

    磯辺秀司, 小泉英介, 静谷啓樹, 早川美徳

    共立出版　2016年4月

    詳細を見る 詳細を閉じる

    2014年4月と2015年4月に発行した「コンピュテーショナル・シンキング」および同第2版を改訂し, 正式に発行

  3. Digital Campus 2010

    Digital Campus編集委員会編

    共立出版　2010年4月

    詳細を見る 詳細を閉じる

    本著書の一部を改訂し、2011年4月, 2012年の4月に「東北大生のための教育系情報システム活用ガイド****」(****の部分は西暦年)を発行

  4. Digital Campus 2005(東北大学高等教育開発推進センター情報教育用計算機システム利用の手引き2005年度版)

    情報処理教育研究会編

    共立出版　2005年4月

    詳細を見る 詳細を閉じる

    本著書の一部を改訂し、2006年〜2009年の各4月に「Digital Campus ****」(****の部分は西暦年)を発行

講演・口頭発表等 30

  1. もう、みんな使ってる? 大学文系1年生のAIに対する意識調査と生成AI利用課題の試行

    三石大, 天野由貴, 小泉英介, 磯邉秀司, 酒井正夫

    大学ICT推進協議会2025年度年次大会　2025年12月1日

  2. BLEセンサ解析とAI映像解析の統合による高精度かつ省力な人流量計測

    酒井正夫, 小泉英介, 岩崎淳也, 宮内誠カルロス, 吉澤誠, 朱嘉琪, 本間経康, 杉田典大

    計測自動制御学会 システム・情報部門 学術講演会（SSI2025）　2025年11月13日

  3. 指定した確率操作を伴う敵対的攻撃を用いたDNN モデルの所有権検証

    佐野光希, 栗林稔, 酒井正夫, 磯辺秀司, 小泉英介

    暗号と情報セキュリティシンポジウム　2025年1月

  4. モデル更新の貢献度に応じて報酬配分を行うブロックチェーンを活用した分散型連合学習

    村形皇映, 栗林稔, 酒井正夫, 磯辺秀司, 小泉英介

    暗号と情報セキュリティシンポジウム　2025年1月

  5. On a relation between knowledge-of-exponent assumptions and the DLog vs. CDH question

    Firas Kraiem, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya

    暗号と情報セキュリティシンポジウム　2020年1月

  6. ブロックチェーンと中央集権型サーバの連携による実用的スマートコントラクトの実現手法

    福光正幸, 長谷川真吾, 磯辺秀司, 岩田直樹, 岩﨑淳也, 小泉英介, 中田恒夫, 酒井正夫

    コンピュータセキュリティ研究発表会　2018年7月

  7. 東北大学学士課程入学者の基礎的な情報対応能力の年次推移

    小泉英介, 早川美徳, 磯邉秀司, 行方義忠, 静谷啓樹

    大学ICT推進協議会2017年度年次大会　2017年12月

  8. 東北大学での新学生用電子メールサービスの導入

    小泉英介, 早川美徳, 磯辺秀司, 行方義忠, 大川俊治

    大学ICT推進協議会2015年度年次大会　2015年12月

  9. 商用ホスティングサービスを活用してサーバ構築とウェブアプリ開発を体験する授業の改善成果報告

    酒井正夫, 早川美徳, 三石大, 長谷川真吾, 静谷啓樹, 磯邉秀司, 小泉英介

    大学ICT推進協議会2015年度年次大会　2015年12月

  10. 準同型暗号の安全性証明の限界について

    髙橋大樹, 長谷川真吾, 磯辺秀司, 小泉英介, 静谷啓樹

    電気情報通信学会 情報セキュリティ研究会　2015年3月

  11. 属性ベース集約署名の一構成

    髙橋遼, 長谷川真吾, 磯辺秀司, 小泉英介, 静谷啓樹

    電気情報通信学会 情報セキュリティ研究会　2015年3月

  12. 東北大学における学生向けキャンパス無線LANサービスの展開

    磯辺秀司, 小泉英介, 行方義忠, 静谷啓樹, 水木敬明, 七尾晶士

    大学ICT推進協議会2014年度年次大会　2014年12月

  13. パブリッククラウドを活用した「IaaSおよびサーバアプリ開発体験」授業の実践報告

    酒井正夫, 早川美徳, 三石大, 長谷川真吾, 静谷啓樹, 磯邉秀司, 小泉英介

    大学ICT推進協議会2014年度年次大会　2014年12月

  14. プログラミング初学者のための学習支援ツールの開発

    早川美徳, 酒井正夫, 三石大, 長谷川真吾, 静谷啓樹, 磯邉秀司, 小泉英介, 二階堂秀夫

    大学ICT推進協議会2014年度年次大会　2014年12月

  15. The RSA Groups May Not Be Strongly-Adaptive Pseudo-Free

    福光正幸, 長谷川真吾, 磯辺秀司, 小泉英介, 静谷啓樹

    暗号と情報セキュリティシンポジウム　2013年1月

  16. Password Protected Secret Sharingの安全性に関する一考察

    岩崎淳也, 長谷川真吾, 磯辺秀司, 小泉英介, 静谷啓樹

    暗号と情報セキュリティシンポジウム　2013年1月

  17. SLPに基づく強RSA仮定とDDH仮定の分離

    福光正幸, 長谷川真吾, 磯辺秀司, 小泉英介, 静谷啓樹

    電気情報通信学会 情報セキュリティ研究会　2011年11月

  18. 情報の漏れを許容する知識の対話証明

    岩崎淳也, 長谷川真吾, 磯辺秀司, 小泉英介, 静谷啓樹

    電気情報通信学会 情報セキュリティ研究会　2011年11月

  19. 多価関数における自己帰着とmany-one型帰着について

    許智元, 磯辺秀司, 小泉英介, 静谷啓樹

    電気情報通信学会 情報セキュリティ研究会　2011年3月

  20. SLP を用いた帰着に基づく暗号学的仮定の分離

    福光正幸, 長谷川真吾, 磯辺秀司, 小泉英介, 静谷啓樹

    暗号と情報セキュリティシンポジウム　2011年1月

  21. トラストアンカー回復技術について

    海上勇二, 前田学, 布田裕一, 長谷川真吾, 磯辺秀司, 小泉英介, 酒井 正夫, 静谷 啓樹

    コンピュータセキュリティシンポジウム2009　2009年10月

  22. 代数的トーラス上の離散対数問題に関する計算量理論的考察

    西垣裕次, 長谷川真吾, 磯辺秀司, 小泉英介, 酒井正夫, 静谷啓樹

    電気情報通信学会 情報セキュリティ研究会　2009年3月

  23. ElGamal署名を用いたトラストアンカの分散構成について

    皆川まりか, 小泉英介, 静谷啓樹

    暗号と情報セキュリティシンポジウム　2008年1月

  24. 公開鍵基盤の頑健化について

    吉田正樹, 長谷川真吾, 磯辺秀司, 小泉英介, 酒井正夫, 静谷啓樹, 布田裕一, 前田学

    電気情報通信学会 情報セキュリティ研究会　2007年3月

  25. Complexity of Lattice Distance Problem

    長谷川真吾, 磯辺秀司, 小泉英介, 静谷啓樹

    暗号と情報セキュリティシンポジウム　2007年1月

  26. DH問題とその派生問題の複雑さについて

    真鍋一成, 磯辺秀司, 小泉英介, 酒井正夫, 静谷啓樹

    電気情報通信学会 情報セキュリティ研究会　2006年3月

  27. 抽象的DDoS攻撃問題の複雑さについて

    横田大介, 磯辺秀司, 小泉英介, 酒井正夫, 静谷啓樹

    電気情報通信学会 情報セキュリティ研究会　2006年3月

  28. CR structure on the boundary of Grauert tube

    小泉英介

    日本数学会2003年度年会函数論分科会　2003年3月

  29. CR structure on the boundary of Grauert tube

    小泉英介

    多変数関数論の萌芽的研究　2002年11月

  30. ホドグラフ変換とチューブ領域の境界上のチャーン・モーザー不変量

    小泉英介

    日本数学会2000年度総合分科会函数論分科会　2000年9月

︎全件表示 ︎最初の5件までを表示

産業財産権 15

  1. 情報仲介装置、情報提供装置、及び情報取得装置

    酒井正夫, 中田恒夫, 岩田直樹, 福光正幸, 長谷川真吾, 磯辺秀司, 岩崎淳也, 小泉英介

    特許7113589

    産業財産権の種類: 特許権

  2. 情報処理システム、データ提供方法、および情報処理システムの製造方法

    酒井正夫, 岩崎淳也, 小泉英介, 長谷川真吾, 磯邉秀司, 福光正幸

    特許7090903

    産業財産権の種類: 特許権

  3. 情報処理システム、およびサービスデータ提供方法

    酒井正夫, 小泉英介, 岩崎淳也, 久井雅史

    特許6664716

    産業財産権の種類: 特許権

  4. 情報処理システム、公開鍵の変更方法、プログラム、および情報処理システムの製造方法

    酒井正夫, 岩崎淳也, 小泉英介, 長谷川真吾, 磯邉秀司, 福光正幸

    特許6545888

    産業財産権の種類: 特許権

  5. 改ざん監視システム、保護制御モジュール及び検知モジュール

    静谷啓樹, 小泉英介, 長谷川真吾, 海上勇二, 布田裕一, 松崎なつめ

    特許5723361

    産業財産権の種類: 特許権

  6. 改ざん監視システム、管理装置及び改ざん管理方法

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 海上勇二, 布田裕一, 松崎なつめ

    特許5744855

    産業財産権の種類: 特許権

  7. 改ざん監視システム、管理装置及び管理方法

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 海上勇二, 布田裕一, 松崎なつめ

    特許5681028

    産業財産権の種類: 特許権

  8. 情報処理装置、管理装置、不正モジュール検知システム、不正モジュール検知方法、不正モジュール検知プログラムを記録している記録媒体、管理方法、管理プログラムを記録している記録媒体および集積回路

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 岩崎淳也, 海上勇二, 布田裕一, 松崎なつめ

    特許5411282

    産業財産権の種類: 特許権

  9. 不正モジュール特定装置、情報処理装置、不正モジュール特定方法、不正モジュール特定プログラム、集積回路、不正モジュール無効化システム、および不正モジュール無効化方法

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 宮内誠カルロス, 海上勇二, 前田学, 布田裕一, 松崎なつめ, 野仲真佐男

    特許5453324

    産業財産権の種類: 特許権

  10. 改竄監視システム、管理装置及び改竄管理方法

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 宮内誠カルロス, 海上勇二, 前田学, 布田裕一, 松崎なつめ, 野仲真佐男

    特許5453323

    産業財産権の種類: 特許権

  11. ソフトウェア更新システム、管理装置、記録媒体及び集積回路

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 海上勇二, 前田学, 布田裕一, 松崎なつめ, 野仲真佐男

    特許5405986

    産業財産権の種類: 特許権

  12. 監視システム、プログラム実行装置、監視プログラム、記録媒体及び集積回路

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 海上勇二, 前田学, 布田裕一, 松崎なつめ, 野仲真佐男

    特許5390532

    産業財産権の種類: 特許権

  13. ソフトウェア更新装置、ソフトウェア更新システム、無効化方法、及び無効化プログラム

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 皆川まりか, 前田学, 布田裕一, 松崎なつめ, 横田薫, 野仲真佐男

    特許4932034

    産業財産権の種類: 特許権

  14. ソフトウェア更新装置、ソフトウェア更新システム、改ざん検証方法、及び改ざん検証プログラム

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 皆川まりか, 前田学, 松崎なつめ, 横田薫, 布田裕一, 野仲真佐男

    特許4932033

    産業財産権の種類: 特許権

  15. 分散情報配布装置、保持装置、認証局装置及びシステム

    静谷啓樹, 酒井正夫, 磯辺秀司, 小泉英介, 長谷川真吾, 吉田正樹, 前田学, 松崎なつめ, 横田薫, 野仲真佐男, 布田裕一

    特許5214474

    産業財産権の種類: 特許権

︎全件表示 ︎最初の5件までを表示

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

  1. 情報セキュリティ 競争的資金

    制度名：The Other Research Programs

    2005年4月 ～ 継続中

  2. 非可換な代数構造を利用した公開鍵暗号方式の一般的構成方法の提案

    小泉 英介

    2019年4月1日 ～ 2023年3月31日

    詳細を見る 詳細を閉じる

    一昨年度・昨年度に引き続き, AAG暗号方式の安全性を高めるための考察を行った. 研究当初の想定をはるかに超える時間を本考察に取られているため, 今年度はこれに集中して研究を実施した. 今年度は昨年度に構成した(i)位数が素数pとpとは異なる素数qの2乗の積であるような, 半直積群と呼ばれる非アーベル群を方式を構成するためのプラットフォーム群とし, かつ(ii)AAG暗号方式の本質的な仕組みを維持しつつもプロトコルの一部を単純化した方式(改良AAG暗号方式)について, これまでの研究過程で出てきた課題(安全性を高めるために必要な条件の簡素化・元のAAG暗号方式の問題点の解消・鍵生成等に利用する群の元の選定方法)や方式の安全性そのものに関する考察を行った. この改良AAG暗号方式の解析は煩雑になると予想されたため, 方式を構成した直後(昨年度)から比較的容易なパラメータ設定での解析を実施してきた. この設定での解析は昨年度だけ では完了しなかったため, 今年度も引き続きその解析を実施した. その結果, 改良AAG暗号方式が既存の課題を解決し, かつ望ましい安全性を有していることを確認することができた. 続いて, 一般的な パラメータ設定での解析を実施した結果, この場合についても同様の考察を得ることができた. そこで, 本結果を論文としてまとめるために, 改良AAG暗号方式についての解析結果, すなわち方式の安全性証明の細部の詰めを開始した.

社会貢献活動 3

  1. 数学・情報科学への誘い 〜「計算機科学的手法による論理的思考と問題解決」を題材として〜

    総合的な探求の時間

    2025年10月15日 ～

  2. 計算機科学の流儀による問題解決思考

    理数科講演会

    2023年1月12日 ～

  3. 体験学習訪問会

    2010年8月2日 ～

    詳細を見る 詳細を閉じる

    現代の情報セキュリティ技術(RSA暗号方式を始めとした公開鍵暗号方式など)に関する解説.