TOHOKU UNIVERSITY Researchers

Details of the Researcher

Home

日本語 English

Eisuke Koizumi

Section

Center for Data-driven Science and Artificial Intelligence

Job title

Assistant Professor

Degree

博士(理学) (Tohoku University)

researchmap

https://researchmap.jp/read0121380

J-GLOBAL ID

200901093853059559

Education 2

Tohoku University　Graduate School, Division of Natural Science

- 2005/03
Tohoku University　Faculty of Science

- 1998/03

Professional Memberships 1

日本数学会

Research Interests 3

暗号
Grauert tube
Information Security

Research Areas 2

Natural sciences / Applied mathematics and statistics /
Informatics / Information theory /

Papers 22

Robust Ownership Verification of DNN Models Against JPEG Compression via Probability-Controlled Adversarial Attacks Peer-reviewed

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
Publisher: IEEE
DOI： 10.1109/apsipaasc65261.2025.11249003 　
Ownership Verification of Dnn Models Using White-Box Adversarial Attacks with Specified Probability Manipulation Peer-reviewed

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

2025 33rd European Signal Processing Conference (EUSIPCO)　795-799　2025/09/08
Publisher: IEEE
DOI： 10.23919/eusipco63237.2025.11226515 　
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
Publisher: Institute of Electronics, Information and Communications Engineers (IEICE)
DOI： 10.1587/transfun.2025cip0025 　

ISSN： 0916-8508

eISSN： 1745-1337
A construction of encryption protocols over some semidirect products Peer-reviewed

Shuji Isobe, Eisuke Koizumi

Journal of Mathematical Cryptology　17　(1)　2023/01/01
Publisher: Walter de Gruyter GmbH
DOI： 10.1515/jmc-2022-0018 　

eISSN： 1862-2984

More details Close

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.
On a Relation between Knowledge-of-Exponent Assumptions and the DLog vs. CDH Question Peer-reviewed

Firas KRAIEM, Shuji ISOBE, Eisuke KOIZUMI, Hiroki SHIZUYA

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　E104.A　(1)　20-24　2021/01/01
Publisher: Institute of Electronics, Information and Communications Engineers (IEICE)
DOI： 10.1587/transfun.2020cip0002 　

ISSN： 0916-8508

eISSN： 1745-1337
On the Classification of Knowledge-of-exponent Assumptions in Cyclic Groups Peer-reviewed

Firas Kraiem, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya

Interdisciplinary Information Sciences　25　(1)　67-74　2019/09
Publisher: Graduate School of Information Sciences, Tohoku University
DOI： 10.4036/iis.2019.r.03 　

ISSN： 1340-9050

eISSN： 1347-6157
A Construction of Cramer-Shoup Like Encryption Protocols Based on the Anshel-Anshel-Goldfeld Key Exchange Protocol Peer-reviewed

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

The Sixth International Symposium on Computing and Networking Workshops (CANDAR 2018)　410-416　2018/11
Publisher: IEEE Computer Society
DOI： 10.1109/CANDARW.2018.00082 　
A Method for Constructing an Autonomous Decentralized P2P Storage with High Confidentiality and Reliability Peer-reviewed

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
Publisher: IEEE Computer Society
DOI： 10.1109/CANDAR.2017.67 　
Autoreducibility and Completeness for Partial Multivalued Functions Peer-reviewed

Shuji Isobe, Eisuke Koizumi

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　E100D　(3)　422-427　2017/03

DOI： 10.1587/transinf.2016FCP0006 　

ISSN： 1745-1361
A Rigorous Security Proof for the Enhanced Version of Password-Protected Secret Sharing Scheme Peer-reviewed

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

Interdisciplinary Information Sciences　22　(1)　31-55　2016/11
Publisher: Graduate School of Information Sciences, Tohoku University
DOI： 10.4036/iis.2015.R.04 　

ISSN： 1347-6157

More details Close

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.
A Construction of Attribute-based Aggregate Signatures Peer-reviewed

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
A Strengthened Security Notion for Password-Protected Secret Sharing Schemes Peer-reviewed

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/01

DOI： 10.1587/transfun.E98.A.203 　

ISSN： 1745-1337
On the Complexity of Computing Discrete Logarithms over Algebraic Tori Peer-reviewed

Shuji Isobe, Eisuke Koizumi, Yuji Nishigaki, Hiroki Shizuya

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　E97D　(3)　442-447　2014/03

DOI： 10.1587/transinf.E97.D.442 　

ISSN： 0916-8532

eISSN： 1745-1361
Password-protected Secret-sharing Schemes without Random Oracles Peer-reviewed

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

2014 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA)　566-570　2014
On the length-decreasing self-reducibility and the many-one-like reducibilities for partial multivalued functions Peer-reviewed

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

IEICE Transactions on Information and Systems　E96-D　(3)　465-471　2013
Publisher: Institute of Electronics, Information and Communication, Engineers, IEICE
DOI： 10.1587/transinf.E96.D.465 　

ISSN： 1745-1361 0916-8532
Toward separating the strong adaptive pseudo-freeness from the strong RSA assumption Peer-reviewed

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
Distributed Construction of Trust Anchor with the Hyper-Powering Signature Scheme Peer-reviewed

Eisuke Koizumi, Marika Minagawa, Hiroki Shizuya

Interdisciplinary Information Sciences　18　(1)　25-36　2012/11
Publisher: The Editorial Committee of the Interdisciplinary Information Sciences
DOI： 10.4036/iis.2012.25 　

ISSN： 1340-9050

More details Close

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.
On the Complexity of Computing Discrete Logarithms over Algebraic Tori Peer-reviewed

Shuji Isobe, Eisuke Koizumi, Yuji Nishigaki, Hiroki Shizuya

CRYPTOLOGY AND NETWORK SECURITY, PROCEEDINGS　5888　433-442　2009

ISSN： 0302-9743
Making cryptographic primitives harder Peer-reviewed

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/01

DOI： 10.1093/ietfec/e91-a.1.330 　

ISSN： 1745-1337
平成18年度東北大学学士課程入学者の基礎的情報対応能力について Peer-reviewed

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

東北大学高等教育開発推進センター紀要　(2)　83-89　2007/03
Publisher:
ISSN： 1881-0853
The logarithwc term of the Szego kernel for two-dimensional Grauert tubes Peer-reviewed

E Koizumi

OSAKA JOURNAL OF MATHEMATICS　42　(2)　339-351　2005/06

ISSN： 0030-6126
Hodograph transformations and the Chern-Moser invariants on the boundary of tube domains Peer-reviewed

E Koizumi

KYUSHU JOURNAL OF MATHEMATICS　59　(1)　1-23　2005/03

DOI： 10.2206/kyushujm.59.1 　

ISSN： 1340-6116

eISSN： 1883-2032

Show all ︎Show first 5

Misc. 12

On the Limit of Security Proof for Homomorphic Encryption

TAKAHASHI Daiki, HASEGAWA Shingo, ISOBE Shuji, KOIZUMI Eisuke, SHIZUYA Hiroki

Technical report of IEICE. ISEC　114　(471)　33-38　2015/03/02
Publisher: The Institute of Electronics, Information and Communication Engineers
ISSN： 0913-5685

More details Close

In this paper, we explore on the limitation of security proofs for homomorphic encryptions. We consider the computational complexity for verifying the validity of the plaintext-ciphertext pairs, that is, on any given pair (b, c), to determine whether or not c is a ciphertext of the plaintext b. We show that for any homomorphic encryption scheme, if the complexity of its verification problem is characterized by the classes in the low hierarchy within NP, then the scheme cannot be proven to be secure beyond the low hierarchy classes via reduction proofs. We also discuss the case where the complexity of the verification problem is characterized by SZK, the class of languages that have statistical zero-knowledge proofs, and show that the limitation of the security proofs is characterized by some intermediate class between SZK and AM ∩ coAM.
On the Little Knowledge Interactive Proof

IWAZAKI Jun-ya, HASEGAWA Shingo, ISOBE Shuji, KOIZUMI Eisuke, SHIZUYA Hiroki

IEICE technical report. Life intelligence and office information systems　111　(286)　149-154　2011/11/14
Publisher: The Institute of Electronics, Information and Communication Engineers
ISSN： 0913-5685

More details Close

We propose the notion of little knowledgeness in interactive proof systems, as a notion alternative to the zero knowledgeness, which means that no verifier can obtain any advice to extract the prover's secret from the conversation history. We show that, under some conditions, functions that have computational zero knowledge interactive proofs also have little knowledge interactive proofs.
The Trust Anchor Renewal Technology

2009　1-6　2011/10/12
On the self-reducibility and the many-one-like reducibilities for multi-valued functions

HUH Ji-Won, ISOBE Shuji, KOIZUMI Eisuke, SHIZUYA Hiroki

IEICE technical report　110　(443)　389-294　2011/02/24
Publisher: The Institute of Electronics, Information and Communication Engineers
ISSN： 0913-5685

More details Close

In this paper, we investigate a relationship between the self-reducibility and the many-one-like reducibilities for multi-valued functions. We show that if any parsimonious (many-one or metric many-one) complete function for NPMV (or NPMV_g) is Turing length-decreasing self-reducible, then any function in NPMV (or NPMV_g) has a refinement that is polynomial-time computable. This result means that there exists an NPMV (or NPMV_g)-complete function that is not Turing length-decreasing self-reducible unless P=NP.
On the Computational Complexity of the Discrete Logarithm Problem over Algebraic Tori

NISHIGAKI Yuji, HASEGAWA Shingo, ISOBE Shuji, KOIZUMI Eisuke, SAKAI Masao, SHIZUYA Hiroki

IEICE technical report　108　(473)　545-550　2009/03/02
Publisher: The Institute of Electronics, Information and Communication Engineers
ISSN： 0913-5685

More details Close

In this paper we investigate the computational complexity of the discrete logarithm problem over algebraic tori (TDLP). We show that (i) each algebraic torus is a computational group, (ii) TDLP reduces in polynomial time to a set in the intersection of NP and coNP, and (iii) the order-certified discrete logarithm over a finite field reduces in polynomial to a variation of TDLP
平成20年度東北大学学士課程入学者の基礎的な情報対応能力について

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

東北大学高等教育開発推進センター紀要　4　(4)　217-223　2009/03
Publisher: 東北大学高等教育開発推進センター
ISSN： 1881-0853
平成19年度東北大学学士課程入学者の基礎的な情報対応能力について

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

東北大学高等教育開発推進センター紀要　(3)　307-312　2008/03
Publisher: 東北大学高等教育開発推進センター
ISSN： 1881-0853
A Technique for Making PKI Robust

YOSHIDA Masaki, HASEGAWA Shingo, ISOBE Shuji, KOIZUMI Eisuke, SAKAI Masao, SHIZUYA Hiroki, FUTA Yuichi, MAEDA Manabu

IEICE technical report　106　(595)　119-124　2007/03/09
Publisher: The Institute of Electronics, Information and Communication Engineers
ISSN： 0913-5685

More details Close

We study a strategy for recovering a PKI system without reconstructing the whole one when the trust anchor has been broken. In addition, we propose a technique for making the system more secure and flexible from viewpoints of its management and structure.
ITの教育利用に関する学士課程入学者に対するアンケート調査 ―IT 志向と教育利用ニーズを中心として―

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

東北大学高等教育開発推進センター紀要　(2)　225-235　2007/03
Publisher: 東北大学高等教育開発推進センター
ISSN： 1881-0853
東北大学川内北キャンパスの無線ＬＡＮ接続サービス

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

東北大学高等教育開発推進センター紀要　(2)　245-250　2007/03
Publisher: 東北大学高等教育開発推進センター
ISSN： 1881-0853
Complexity of abstract DDoS attack problems

YOKOTA Daisuke, ISOBE Shuji, KOIZUMI Eisuke, SAKAI Masao, SHIZUYA Hiroki

IEICE technical report　105　(665)　117-121　2006/03/16
Publisher: The Institute of Electronics, Information and Communication Engineers
ISSN： 0913-5685

More details Close

The DDoS attack is one of the most serious problems on the Internet. There have been many researches for developing prevention schemes against the DDoS attacks. In order to protect networks against the DDoS attacks, it is desirable to clarify the vulnerabilities of the networks from the attacker's point of view. However, a few studies have been paid their attention for such a standpoint. In this paper, we formulate the DDoS attack as an abstract source location problem on dynamic networks. We show that this problem is NP-complete thereby it is hard for attackers to deploy his ideal agents.
Complexity of Diffie-Hellman Problems and Its Variants

MANABE Kazunari, ISOBE Shuji, KOIZUMI Eisuke, SAKAI Masao, SHIZUYA Hiroki

IEICE technical report　105　(665)　105-110　2006/03/16
Publisher: The Institute of Electronics, Information and Communication Engineers
ISSN： 0913-5685

More details Close

The complexity of the function DH breaking the Diffie-Hellman key exchange scheme (DH) has been widely studied until today. Recently, a new function coDH that is a variant of function DH is proposed and there have been proposed some cryptographic schemes that are based on the complexity of coDH. However, the complexity of coDH has not been rather clarified. For example, there is no known polynomial-time reduction for the function coDH and other cryptographic functions including DH. In this paper, we study the reductions among the function coDH and other functions and analyize the complexity of coDH.

Show all ︎Show first 5

Books and Other Publications 4

数理思考演習

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

共立出版　2023/04

ISBN: 9784320125209
コンピュテーショナル・シンキング

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

共立出版　2016/04

More details Close

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

Digital Campus編集委員会編

共立出版　2010/04

More details Close

本著書の一部を改訂し、2011年4月, 2012年の4月に「東北大生のための教育系情報システム活用ガイド****」(****の部分は西暦年)を発行
Digital Campus 2005(東北大学高等教育開発推進センター情報教育用計算機システム利用の手引き2005年度版)

情報処理教育研究会編

共立出版　2005/04

More details Close

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

Presentations 30

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

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

大学ICT推進協議会2025年度年次大会　2025/12/01
BLEセンサ解析とAI映像解析の統合による高精度かつ省力な人流量計測

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

計測自動制御学会システム・情報部門学術講演会（SSI2025）　2025/11/13
指定した確率操作を伴う敵対的攻撃を用いたDNN モデルの所有権検証

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

暗号と情報セキュリティシンポジウム　2025/01
モデル更新の貢献度に応じて報酬配分を行うブロックチェーンを活用した分散型連合学習

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

暗号と情報セキュリティシンポジウム　2025/01
On a relation between knowledge-of-exponent assumptions and the DLog vs. CDH question

Firas Kraiem, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya

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

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

コンピュータセキュリティ研究発表会　2018/07
東北大学学士課程入学者の基礎的な情報対応能力の年次推移

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

大学ICT推進協議会2017年度年次大会　2017/12
東北大学での新学生用電子メールサービスの導入

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

大学ICT推進協議会2015年度年次大会　2015/12
商用ホスティングサービスを活用してサーバ構築とウェブアプリ開発を体験する授業の改善成果報告

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

大学ICT推進協議会2015年度年次大会　2015/12
準同型暗号の安全性証明の限界について

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

電気情報通信学会情報セキュリティ研究会　2015/03
属性ベース集約署名の一構成

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

電気情報通信学会情報セキュリティ研究会　2015/03
東北大学における学生向けキャンパス無線LANサービスの展開

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

大学ICT推進協議会2014年度年次大会　2014/12
パブリッククラウドを活用した「IaaSおよびサーバアプリ開発体験」授業の実践報告

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

大学ICT推進協議会2014年度年次大会　2014/12
プログラミング初学者のための学習支援ツールの開発

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

大学ICT推進協議会2014年度年次大会　2014/12
The RSA Groups May Not Be Strongly-Adaptive Pseudo-Free

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

暗号と情報セキュリティシンポジウム　2013/01
Password Protected Secret Sharingの安全性に関する一考察

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

暗号と情報セキュリティシンポジウム　2013/01
SLPに基づく強RSA仮定とDDH仮定の分離

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

電気情報通信学会情報セキュリティ研究会　2011/11
情報の漏れを許容する知識の対話証明

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

電気情報通信学会情報セキュリティ研究会　2011/11
多価関数における自己帰着とmany-one型帰着について

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

電気情報通信学会情報セキュリティ研究会　2011/03
SLP を用いた帰着に基づく暗号学的仮定の分離

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

暗号と情報セキュリティシンポジウム　2011/01
トラストアンカー回復技術について

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

コンピュータセキュリティシンポジウム2009　2009/10
代数的トーラス上の離散対数問題に関する計算量理論的考察

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

電気情報通信学会情報セキュリティ研究会　2009/03
ElGamal署名を用いたトラストアンカの分散構成について

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

暗号と情報セキュリティシンポジウム　2008/01
公開鍵基盤の頑健化について

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

電気情報通信学会情報セキュリティ研究会　2007/03
Complexity of Lattice Distance Problem

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

暗号と情報セキュリティシンポジウム　2007/01
DH問題とその派生問題の複雑さについて

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

電気情報通信学会情報セキュリティ研究会　2006/03
抽象的DDoS攻撃問題の複雑さについて

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

電気情報通信学会情報セキュリティ研究会　2006/03
CR structure on the boundary of Grauert tube

小泉英介

日本数学会2003年度年会函数論分科会　2003/03
CR structure on the boundary of Grauert tube

小泉英介

多変数関数論の萌芽的研究　2002/11
ホドグラフ変換とチューブ領域の境界上のチャーン・モーザー不変量

小泉英介

日本数学会2000年度総合分科会函数論分科会　2000/09

Show all Show first 5

Industrial Property Rights 15

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

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

特許7113589

Property Type: Patent
情報処理システム、データ提供方法、および情報処理システムの製造方法

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

特許7090903

Property Type: Patent
情報処理システム、およびサービスデータ提供方法

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

特許6664716

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

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

特許6545888

Property Type: Patent
改ざん監視システム、保護制御モジュール及び検知モジュール

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

特許5723361

Property Type: Patent
改ざん監視システム、管理装置及び改ざん管理方法

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

特許5744855

Property Type: Patent
改ざん監視システム、管理装置及び管理方法

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

特許5681028

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

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

特許5411282

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

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

特許5453324

Property Type: Patent
改竄監視システム、管理装置及び改竄管理方法

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

特許5453323

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

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

特許5405986

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

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

特許5390532

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

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

特許4932034

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

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

特許4932033

Property Type: Patent
分散情報配布装置、保持装置、認証局装置及びシステム

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

特許5214474

Property Type: Patent

Show all Show first 5

Research Projects 2

Information Security Competitive

System: The Other Research Programs

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

小泉英介

Offer Organization: 日本学術振興会

System: 科学研究費助成事業

Category: 基盤研究(C)

Institution: 東北大学

2019/04/01 - 2023/03/31

More details Close

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

Social Activities 3

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

総合的な探求の時間

2025/10/15 -
計算機科学の流儀による問題解決思考

理数科講演会

2023/01/12 -
体験学習訪問会

2010/08/02 -

More details Close

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