Staff Introduction

: 荒井研一 Kenichi ARAI

- Email
k-arainagasaki-u.ac.jp

- Position / Degree 総合生産科学域　准教授
情報データ科学部　准教授
大学院工学研究科　准教授
博士（工学）

- Specialized Field 情報セキュリティ、暗号プロトコル、フォーマルメソッド、安全性評価、IoT

- External Links researchmap

CV

H16.03	信州大学工学部情報工学科　卒業
H18.03	信州大学大学院工学系研究科博士前期課程情報工学専攻　修了
H22.03	信州大学大学院総合工学系研究科博士課程システム開発工学専攻　修了
H22.04	長野県長野工業高等学校　実習助手
H23.04	信州大学工学部　技術補佐員
H23.11	東京理科大学理工学部電気電子情報工学科　嘱託助教
H27.10	長崎大学大学院工学研究科　助教
R02.04	長崎大学情報データ科学部　准教授

本研究では，計算機を用いた暗号プロトコルの安全性評価の有効性に着目し，暗号プロトコルの安全性評価を厳密に行うことができる手法実現に向けた検討を行っています。

一般利用者が安心して暗号技術を用いたシステムを利用できるように、近年注目されているフォーマルメソッド（形式手法）を用いた安全性評価に関する研究に取り組んでいます。

暗号プロトコルの安全性評価以外にもIoTを活用した車椅子利用者向けのストリートビューシステムの開発に取り組んでいます。

本システムでは，複数の車椅子利用者からの歩道情報をビックデータ的に収集することで，車椅子利用者に最新の歩道状況を視覚的にフィードバックすることができます。

情報データ科学部：初年次セミナー、情報科学技術、情報数学Ⅰ・Ⅱ、情報セキュリティⅠ・Ⅱ、卒業研究

工学研究科：情報数学特論

IT先端技術応用講座：安心安全なシステム設計方法論