2014 - 2017 Computer-based Evaluation of Cryptographic Protocol Security
2010 - 2014 Content Development for Distance Education in Advanced University Mathematics Using Mizar
Show all
Papers (99):
Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa. How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif. IEEE Access. 2024. 12. 31605-31625
Kazuki Fukae, Yudai Tanaka, Tetsuo Imai, Kenichi Arai, Toru Kobayashi. Fish School Behaviour Classification for Optimal Feeding Using Rose Diagram. Proceedings - IEEE International Conference on Consumer Electronics (ICCE2024). 2024. 1-2
Toru Kobayashi, Yudai Tanaka, Daiki Togawa, Junpei Takaishi, Rina Ishishita, Kazuki Fukae, Tetsuo Imai, Kenichi Arai. IoT/AI Technology for Aqua Colony. Proceedings - 2023 15th International Congress on Advanced Applied Informatics Winter (IIAI-AAI-Winter). 2023
磯崎敦史, 深江一輝, 今井哲郎, 荒井研一, 中村匡秀, 小林透. Study on Self Service Message Exchange System for Elderly. 情報処理学会論文誌トランザクション コンシューマ・デバイス&システム(Web). 2023. 13. 3. 14-24
Mioko Matsuo, Takuma Akiyama, Kenichi Arai, Toru Kobayashi, Norio Nakamura. A Proposal for Expansion of Conversation Variations in an English Conversation Learning System for Elementary School Students. Proceedings - 2023 IEEE 12th Global Conference on Consumer Electronics (GCCE 2023). 2023. 645-646
2021/11 - 2021 Ninth International Symposium on Computing and Networking (CANDAR 2021) 【Outstanding Paper Award】 Dementia Sign Detection System Using Digital Twin
THE JAPAN SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS
, INFORMATION PROCESSING SOCIETY OF JAPAN
, THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS