荒井研一［あらい けんいち］
情報工学コース 准教授
サイバー攻撃と情報セキュリティの技術は日々進歩しています．一方の技術が進歩すれば他方の技術は更に進歩するといった状況です．この終わることのない壮大な研究テーマを一緒に取り組みませんか？
専門分野
情報セキュリティ，フォーマルメソッド，IoT
研究
一般利用者が安心して暗号プロトコル（暗号技術）を用いたシステムを利用できるように，近年注目されているフォーマルメソッドを用いた安全性評価に関する研究に取り組んでいます．
