TOKYO TECH CYBERSECURITY

数学を使って、安全な
ソフトウェアやプロトコルを作る

数学を使って、安全な
ソフトウェアやプロトコルを作る

Shigeki Hagiwara萩原 茂樹
ホーム >> 萩原 茂樹

萩原 茂樹

[情報理工学院/助教]

数学を使って、
安全なソフトウェアやプロトコルを作る

誤りのないソフトウェアや、攻撃に対して安全なプロトコルを、自動的に構成する手法を研究しています。その際、論理や代数を道具に用いる、形式的なアプローチをとることにより、厳密な安全性を保証します。

MAIL
hagihara@fmx.cs.titech.ac.jp
HP
なし
所在地
大岡山キャンパス西8号棟E棟 804
主担当系・コース
情報工学系 情報工学コース
研究キーワード
形式手法、ソフトウェア検証、ソフトウェア合成、応用論理学
Top