Rchr
J-GLOBAL ID:201801001215768877   Update date: Oct. 22, 2021

布田 裕一

フタ ユウイチ | 布田 裕一
Affiliation and department:
Research field  (2): Information theory ,  Information security
Research keywords  (4): Formal verification of cryptosystems ,  Cryptology ,  暗号方式の形式検証 ,  暗号技術
Research theme for competitive and other funds  (3):
  • 2018 - 2021 情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発
  • 2017 - 2021 形式手法による暗号の安全性証明自動検証システムの開発
  • 2015 - 2019 理論的な安全性評価が可能な耐タンパーソフトウェア技術の研究
Papers (39):
more...
Books (1):
  • IT Text 情報セキュリティ
    オーム社 2003
Lectures and oral presentations  (29):
  • ProVerifを用いたMD変換の形式化
    (日本応用数理学会 2020年度年会 2020)
  • モデル検査器ProVerifによるDES暗号の形式化
    (2020年電子情報通信学会総合大会 2020)
  • 協調型DNSによるキャッシュポイズニングの検知
    (2020年暗号と情報セキュリティシンポジウム(SCIS2020) 2020)
  • ProVerifを用いたMD変換の形式化
    (2020年暗号と情報セキュリティシンポジウム(SCIS2020) 2020)
  • 通信の規則性を用いた異常検知における攻撃シナリオごとの検知精度の比較
    (2020年暗号と情報セキュリティシンポジウム(SCIS2020) 2020)
more...
Education (1):
  • 2009 - 2012 Shinshu University Department of Mathematics and System Development
Professional career (2):
  • 博士(工学) (信州大学)
  • Doctor of Engineering (Shinshu University)
Work history (6):
  • 2017/04 - 現在 Tokyo University of Technology School of Computer Science
  • 2017/04/01 - 現在 Tokyo University of Technology of Bionics, Computer and Media Sciences, Graduate School
  • 2016/10/01 - 現在 Tokyo University of Technology School of Computer Science, Department of Computer Science
  • 2016/04 - 2016/09 Japan Advanced Institute of Science and Technology Graduate School of Advanced Science and Technology Research Associate Professor
  • 2013/02 - 2016/03 Japan Advanced Institute of Science and Technology Graduate School of Information Science Research Associate Professor
Show all
Awards (3):
  • 2019/01 - 日本ソフトウェア科学会 実践的IT教育研究会 優秀教育実践賞 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について
  • 2012/01 - 一般社団法人 大阪発明協会 大阪優秀発明賞 コンテンツデータ高速検証技術(特許第4084827号)
  • 2011/11 - 公益社団法人 発明協会 発明奨励賞 データの正当性高速検証に関する基本発明(特許第4084827号)
Association Membership(s) (2):
Information Processing Society of Japan ,  The Institute of Electronics, Information and Communication Engineers
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page