(最終更新日:2018-11-27 19:14:33)
  フタ ユウイチ
  布田 裕一
   所属   コンピュータサイエンス学部 コンピュータサイエンス学科
   職種   准教授
■ 職歴/学内役職・委員
1. 1998/04~2013/02 パナソニック株式会社 (旧:松下電器産業株式会社)
2. 2013/02~2016/03 北陸先端科学技術大学院大学 情報科学研究科 特任准教授
3. 2016/04~2016/09 北陸先端科学技術大学院大学 先端科学技術研究科 特任准教授
4. 2016/10~ 東京工科大学 コンピュータサイエンス学部 コンピュータサイエンス学科 准教授
5. 2017/04~ 東京工科大学 コンピュータサイエンス学部 就職委員会 委員
全件表示(8件)
■ 専門分野
情報セキュリティ, 情報学基礎理論 (キーワード:暗号技術、暗号方式の形式検証) 
■ 著書・論文歴
1. 2003/10 著書  IT Text 情報セキュリティ (共著) 
2. 2012/10 論文  Formalization of Definitions and Theorems Related to an Elliptic Curve over a Finite Prime Field by Using Mizar (共著) 
3. 2013/08 論文  Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar (共著) 
4. 2014/10 論文  Improving impossible differential cryptanalysis with concrete investigation of key scheduling algorithm and its application to LBlock (共著) 
5. 2004/08 論文  Efficient Scalar Multiplication on Montgomery-Form Elliptic Curves (共著) 
全件表示(34件)
■ 学会発表
1. 2018/11/26 e-Learning System for Cryptography on Moodle(Internet Conference 2018)
2. 2018/01/25 ProVerifを用いたCTの形式化(2018年暗号と情報セキュリティシンポジウム(SCIS2018))
3. 2017/09/06 ProVerifにおける暗号プリミティブの安全性要件と攻撃モデルの形式化方法について(日本応用数理学会2017年度 年会)
4. 2017/03/10 共通鍵暗号方式におけるLinear Obfuscationを用いた効果的な難読化手法(情報セキュリティ研究会(ISEC))
5. 2017/01/25 ProVerifにおけるphaseについて(2017年暗号と情報セキュリティシンポジウム(SCIS2017))
全件表示(11件)
■ 所属学会
1. 2012/02~ 電子情報通信学会
2. 2013/03~ 情報処理学会
■ 受賞学術賞
1. 2011/11 発明奨励賞
2. 2012/01 大阪優秀発明賞
■ 研究課題・受託研究・科研費
1. 2015/04~2019/03  理論的な安全性評価が可能な耐タンパーソフトウェア技術の研究 基盤研究 (C)(一般) (キーワード:耐タンパーソフトウェア、コード難読化)
2. 2017/04~2021/03  形式手法による暗号の安全性証明自動検証システムの開発 基盤研究(C)(一般) (キーワード:暗号・認証等、形式検証、応用数学)
3. 2018/04~2021/03  情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発 基盤研究(C)(一般) (キーワード:情報セキュリティ人材育成、暗号技術学習支援、eラーニングシステム)