
	Chemical structure search How to Search	Import MOLfile format is only available (V3000 format is not available) Exact match Substructure search Superstructure search Substructure or superstructure search Similarity search

Rchr

J-GLOBAL ID：200901096954538678 Update date: Mar. 06, 2025

Kai Hiroshi

カイヒロシ | Kai Hiroshi

Affiliation and department：
Job title： Associate Professor
Homepage URL (1)： http://www.hpc.cs.ehime-u.ac.jp/

Research field (1)： Software

Research keywords (3)： Computer Algebra , Computer Algebra System , Information Security

Research theme for competitive and other funds (13)：

Show all

Papers (44)：

Hisashi Okamoto, Shaoqi Wei, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Yoshinobu Higami, Akihiro Shimizu, Tianming Ni, Xiaoqing Wen. SASL-JTAG+: An Enhanced Lightweight and Secure JTAG Authentication Mechanism for IoT Systems with Diverse Devices. Journal of Communications. 2025. Just Accepted
Kengo ShimizuSenling WangHiroshi KaiHiroshi TakahashiAkihiro Shimizu. A Lightweight and Secure One-time RFID Authentication Protocol based on SAS-L2. The 9th International Conference on Consumer Electronics (ICCE) Asia. 2024. 913-916
Senling Wang, Shaoqi Wei, Hisashi Okamoto, Tatsuya Nishikawa, Kai Hiroshi, Higami Yoshinobu, Hiroyuki Yotsuyanagi, Ruijun Ma, Tianming Ni, Hiroshi Takahashi, et al. Test Point Selection for Multi-Cycle Logic BIST using Multivariate Temporal-Spatial GCNs. The 8th International Test Conference in Asia 2024. 2024
Kenta Sasagawa, Senling Wang, Tatsuya Nishikawa, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi, Hiroyuki Yotsuyanagi, Tianming Ni, Xiaoqing Wen. Deep-BMNN: Implementing Sparse Binary Neural Networks in Memory-Based Reconfigurable Processor (MRP). The 39th International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC 2024). 2024
Wang Senling, Kai Hiroshi, Takahashi Hiroshi. Computer & Software System Laboratory, Graduate School of Science and Engineering, Ehime University. Journal of The Japan Institute of Electronics Packaging. 2024. 27. 1. 169-169

MISC (147)：

Shoya Sasaki, Akitaka Ide, Senling Wang, Hiroshi Kai, Hiroshi Takahashi. Feature Analysis for Machine Learning based Test Point Insertion. 2025
中村凌也, 清水健吾, 岡本悠, 王森レイ, 甲斐博, 高橋寛, 清水明宏. SV 攻撃に耐性のあるSAS-L2 の安全性評価. 令和6年度電気・電子・情報関係学会四国支部連合大会. 2024. 1-2
光家遥香, 甲斐博, 王森レイ, 高橋寛. マルウェア亜種の機能推定におけるTemporal Bias の影響に関する研究. 令和6年度電気・電子・情報関係学会四国支部連合大会. 2024. 1-2
佐々木翔也, 王森レイ, 甲斐博, 高橋寛. 深層強化学習を用いたテストポイント挿入法に対する特徴解析. 令和6年度電気・電子・情報関係学会四国支部連合大会. 2024. 1-2
井手秋孝, 王森レイ, 甲斐博, 樋上喜信, 高橋寛. 大規模言語モデルを利用したテスタビリティ評価手法. 令和6年度電気・電子・情報関係学会四国支部連合大会. 2024. 1-2

Books (1)：

Proceedings of the 2009 International Workshop on Symbolic-Numeric Computation
ACM 2009

Lectures and oral presentations (53)：

A Lightweight and Secure One-time RFID Authentication Protocol based on SAS-L2
(The 9th International Conference on Consumer Electronics (ICCE) Asia 2024)
Extension of the hologram QR code
(FIT2024 2024)
Test Point Selection for Multi-Cycle Logic BIST using Multivariate Temporal-Spatial GCNs
(IEEE International Test Conference in Asia 2024)
Deep-BMNN: Implementing Sparse Binary Neural Networks in Memory-Based Reconfigurable Processor (MRP)
(The 39th International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC 2024) 2024)
SASL2 Security Testing with Formal Verification
(The 32nd Annual Conference of the Japan Society for Symbolic and Algebraic Computation 2024)

Education (3)：

1994 - 1995 Ehime University Graduate School of Engineering System Engineering Course
1992 - 1994 Ehime University Graduate School of Engineering Computer Science Course
1988 - 1992 Ehime University Faculty of Engineering Department of Computer Science

Professional career (1)：

Work history (5)：

Committee career (21)：

2024/09 - 現在 Japan Society for Symbolic and Algebraic Computation Editorial Committee, chair
2024/06 - 現在コンピュータセキュリティシンポジウム2024 実行委員
2005/04 - 現在 Applications of Computer Algebra The Applications of Computer Algebra Working Group
2024/04 - 2026/03 Japan Society for Symbolic and Algebraic Computation Representative Member
2021/01 - 2024/08 Japan Society for Symbolic and Algebraic Computation Editorial Committee, vicechair

Show all

Awards (10)：

2024/03 - IPSJ Student Encouragement Award of 86th IPSJ National Convention Synchronized RFID authentication protocol using SAS-L2
2022/11 - IEICE-LOIS LOIS Good Presentation Award Development of QR Code with superimposed Kanji font
2021/03 - 情報処理学会情報処理学会第83回全国大会学生奨励賞 APIコール列とLZWアルゴリズムを用いたマルウェア亜種分類の一検討
2019/06 - Ministry of Internal Affairs and Communications, Shikoku Bureau of Telecommunications Director Award
2016/09 - Forum on Information Technology 2016 FIT Young Researcher’s Award

Show all

Association Membership(s) (4)：

IEEE , ACM (Association for Computing Machinery) , 日本数式処理学会 , 情報処理学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.


	Free word	※Add the following synonyms, you can increase the number of hits.




		～