Hirokazu Hasegawa 研究室

本研究室は、IoTデバイスなどの組込みシステムにおけるセキュリティの強化に取り組んでいます。研究の中心は、ハードウェア固有の物理的特性を利用した認証技術と、ネットワーク通信における脅威検知の両者にあります。これらの課題に対し、ハードウェア記述言語やFPGA（専用チップ）を用いた実装検証、機械学習アルゴリズムの応用といった多角的なアプローチで取り組んでいます。 認証技術の分野では、物理的な製造ばらつきをセキュリティの源として活用するPUF（Physical Unclonable Function）という仕組みを改良しています。従来のアルビタPUFの設計上の偏りを低減し、信頼性を向上させるための回路構成を理論的に検証しています。さらに、限られた認証データしか持たないIoTデバイス向けに、チェーン構造に基づいた軽量な相互認証プロトコルを開発し、その安全性を形式的検証手法で確認しています。 一方、通信セキュリティの分野では、ネットワーク上の悪意あるデータ通信をリアルタイムで検出する技術を開発しています。従来のパターンマッチング手法では対応困難な、通信順序が乱れたパケットの解析やゼロデイ攻撃などの未知の脅威に対応するため、FPGAによる高速処理と機械学習モデルを組み合わせた検知手法を研究しています。また、マルウェア検出においても、プログラムの制御フローや実行構造を機械学習で分析することで、高い分類精度を実現する取り組みを進めています。