教員紹介-荒井研一｜長崎大学情報データ科学部

研究活動

教員紹介Staff Introduction

荒井研一 / Kenichi ARAI

役職・取得学位

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

メール

k-arainagasaki-u.ac.jp

研究者番号

60645290

着任年月日

平成27年10月1日

専門分野

情報セキュリティ、暗号プロトコル、安全性評価、IoT

就職実績 ― 民間機関、他大学等（略歴）

H16.03

信州大学工学部情報工学科　卒業

H18.03

信州大学大学院工学系研究科博士前期課程情報工学専攻　修了

H22.03

信州大学大学院総合工学系研究科博士課程システム開発工学専攻　修了

H22.04

長野県長野工業高等学校　実習助手

H23.04

信州大学工学部　技術補佐員

H23.11

東京理科大学理工学部電気電子情報工学科　嘱託助教

H27.10

長崎大学大学院工学研究科　助教

R02.04

長崎大学情報データ科学部　准教授

●

暗号プロトコルの安全性評価

本研究では，計算機を用いた暗号プロトコルの安全性評価の有効性に着目し，暗号プロトコルの安全性評価を厳密に行うことができる手法実現に向けた検討を行っています。
一般利用者が安心して暗号技術を用いたシステムを利用できるように、近年注目されているフォーマルメソッド（形式手法）を用いた安全性評価に関する研究に取り組んでいます。

●

Internet of Things (IoT) の活用

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

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

担当授業

情報データ科学部：

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

工学研究科：

情報数学特論

IT先端技術応用講座：

安心安全なシステム設計方法論