研究者
J-GLOBAL ID:201801001215768877   更新日: 2020年10月30日

布田 裕一

フタ ユウイチ | 布田 裕一
所属機関・部署:
職名: 准教授
研究分野 (2件): 情報学基礎論 ,  情報セキュリティ
研究キーワード (4件): Formal verification of cryptosystems ,  Cryptology ,  暗号方式の形式検証 ,  暗号技術
競争的資金等の研究課題 (3件):
  • 2018 - 2021 情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発
  • 2017 - 2021 形式手法による暗号の安全性証明自動検証システムの開発
  • 2015 - 2019 理論的な安全性評価が可能な耐タンパーソフトウェア技術の研究
論文 (39件):
もっと見る
書籍 (1件):
  • IT Text 情報セキュリティ
    オーム社 2003
講演・口頭発表等 (29件):
  • ProVerifを用いたMD変換の形式化
    (日本応用数理学会 2020年度年会 2020)
  • モデル検査器ProVerifによるDES暗号の形式化
    (2020年電子情報通信学会総合大会 2020)
  • 協調型DNSによるキャッシュポイズニングの検知
    (2020年暗号と情報セキュリティシンポジウム(SCIS2020) 2020)
  • ProVerifを用いたMD変換の形式化
    (2020年暗号と情報セキュリティシンポジウム(SCIS2020) 2020)
  • 通信の規則性を用いた異常検知における攻撃シナリオごとの検知精度の比較
    (2020年暗号と情報セキュリティシンポジウム(SCIS2020) 2020)
もっと見る
学歴 (1件):
  • 2009 - 2012 信州大学 システム開発工学専攻
学位 (2件):
  • 博士(工学) (信州大学)
  • Doctor of Engineering (Shinshu University)
経歴 (6件):
  • 2017/04 - 現在 東京工科大学 コンピュータサイエンス学部 教務委員会 委員
  • 2017/04/01 - 現在 東京工科大学大学院 バイオ・情報メディア研究科 コンピュータサイエンス専攻 博士後期課程 准教授
  • 2016/10/01 - 現在 東京工科大学 コンピュータサイエンス学部 コンピュータサイエンス学科 准教授
  • 2016/04 - 2016/09 北陸先端科学技術大学院大学 先端科学技術研究科 特任准教授
  • 2013/02 - 2016/03 北陸先端科学技術大学院大学 情報科学研究科 特任准教授
全件表示
受賞 (3件):
  • 2019/01 - 日本ソフトウェア科学会 実践的IT教育研究会 優秀教育実践賞 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について
  • 2012/01 - 一般社団法人 大阪発明協会 大阪優秀発明賞 コンテンツデータ高速検証技術(特許第4084827号)
  • 2011/11 - 公益社団法人 発明協会 発明奨励賞 データの正当性高速検証に関する基本発明(特許第4084827号)
所属学会 (2件):
情報処理学会 ,  電子情報通信学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る