教員業績 - 布田　裕一 | 東京工科大学

職歴／学内役職・委員

専門分野

著書・論文歴

学会発表

（最終更新日：2020-11-02 17:44:10）

  フタ　ユウイチ
  布田　裕一
   所属   コンピュータサイエンス学部コンピュータサイエンス学科

職種准教授

■ 職歴／学内役職・委員

1.	1998/04～2013/02	パナソニック株式会社 (旧：松下電器産業株式会社)
2.	2013/02～2016/03	北陸先端科学技術大学院大学情報科学研究科特任准教授
3.	2016/04～2016/09	北陸先端科学技術大学院大学先端科学技術研究科特任准教授
4.	2016/10～	東京工科大学コンピュータサイエンス学部コンピュータサイエンス学科准教授
5.	2017/04～2019/03	東京工科大学コンピュータサイエンス学部就職委員会委員
6.	2017/04～	東京工科大学コンピュータサイエンス学部教務委員会委員
7.	2017/04～	東京工科大学大学院バイオ・情報メディア研究科コンピュータサイエンス専攻　修士課程准教授
8.	2017/04～	東京工科大学大学院バイオ・情報メディア研究科コンピュータサイエンス専攻　博士後期課程准教授
9.	2019/04～	東京工科大学大学院バイオ・情報メディア研究科コンピュータサイエンス専攻教務委員会委員
5件表示
全件表示(9件)

■ 専門分野

情報セキュリティ, 情報学基礎論　（キーワード：暗号技術、暗号方式の形式検証）

■ 著書・論文歴

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 Formal Mathematics for Mathematicians, Journal of Automated Reasoning 50(2),pp.161-172 （共著）
3.	2013/08	論文	Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar Artificial Intelligence Research 2(4),pp.37-48 （共著）
4.	2014/10	論文	Improving impossible differential cryptanalysis with concrete investigation of key scheduling algorithm and its application to LBlock The 8th International Conference on Network and System Security (NSS 2014) pp.184-197 （共著）
5.	2004/08	論文	Efficient Scalar Multiplication on Montgomery-Form Elliptic Curves IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences E87-A(8),pp.2126-2136 （共著）
6.	2007/09	論文	A countermeasure for protecting NTRUSign against the transcript attack Interdisciplinary Information Sciences 13(2),pp.181-188 （共著）
7.	2001/05	論文	On the Euclidean Algorithm of Polynomials IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences E84-A(5),pp.1261-1265 （共著）
8.	2000/08	論文	Efficient Construction of Elliptic Curves over Optimal Extension Field IPSJ Journal 41(8),pp.2092-2101 （共著）
9.	1999/08	論文	素数位数を有する楕円曲線の構成とその計算量評価電子情報通信学会論文誌. A, 基礎・境界 J82-A(8),1269-1277頁（共著）
10.	2020/10	論文	Formal Verification of Merkle-Damgård Construction in ProVerif ISITA2020 （共著）
11.	2020/01	論文	形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題についてコンピュータソフトウェア 37(1),99-113頁（共著）
12.	2019/10	論文	Operations of Points on Elliptic Curve in Affine Coordinates Formalized Mathematics 27(3),pp.315-320 （共著）
13.	2019/07	論文	Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif 2019 International Conference on Security and Management (SAM'19) （共著）
14.	2019/03	論文	Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm Formalized Mathematics 27(1),pp.79-83 （共著）
15.	2018/12	論文	Continuity of Bounded Linear Operators on Normed Linear Spaces Formalized Mathematics 26(3),pp.231-237 （共著）
16.	2018/10	論文	Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif The International Symposium on Information Theory and Its Applications (ISITA) 2018 （共著）
17.	2018/01	論文	Implicit Function Theorem. Part I Formalized Mathematics 25(4),pp.269-282 （共著）
18.	2017/12	論文	Isomorphism Theorem on Vector Spaces over a Ring Formalized Mathematics 25(3),pp.171-178 （共著）
19.	2017/09	論文	Dual Lattice of Z-module Lattice Formalized Mathematics 25(2),pp.157-169 （共著）
20.	2017/05	論文	Embedded Lattice and Properties of Gram Matrix Formalized Mathematics 25(1),pp.73-86 （共著）
21.	2016/08	論文	Divisible Z-modules Formalized Mathematics 24(1),pp.49-68 （共著）
22.	2016/08	論文	Lattice of Z-modules Formalized Mathematics 24(1),pp.37-47 （共著）
23.	2016/07	論文	Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar. Workshop and Work in Progress Papers at CICM 2016 （共著）
24.	2016/03	論文	Torsion-part of Z-module Formalized Mathematics 23(4),pp.297-307 （共著）
25.	2015/09	論文	Polynomially Bounded Sequences and Polynomial Sequences Formalized Mathematics 23(3),pp.205-213 （共著）
26.	2015/03	論文	Matrix of Z-module Formalized Mathematics 23(1),pp.29-49 （共著）
27.	2014/12	論文	Torsion Z-module and Torsion-free Z-module Formalized Mathematics 22(4),pp.277-289 （共著）
28.	2014/03	論文	Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module Formalized Mathematics 22(3),pp.189-198 （共著）
29.	2014/03	論文	Topological Properties of Real Normed Space Formalized Mathematics 22(3),pp.209-223 （共著）
30.	2013/12	論文	Isometric Differentiable Functions on Real Normed Space Formalized Mathematics 21(4),pp.249-260 （共著）
31.	2013/12	論文	Submodule of free Z-module Formalized Mathematics 21(4),pp.273-282 （共著）
32.	2013/06	論文	Constructing Binary Huffman Tree Formalized Mathematics 21(2),pp.133-143 （共著）
33.	2013/06	論文	Gaussian Integer Formalized Mathematics 21(2),pp.115-125 （共著）
34.	2013/02	論文	Free Z-module Formalized Mathematics 20(4),pp.275-280 （共著）
35.	2012/12	論文	Quotient module of Z-module Formalized Mathematics 20(3),pp.205-214 （共著）
36.	2012/10	論文	Formalization of Gaussian Integers, Gaussian Rational Numbers, and Their Algebraic Structures International Symposium on Information Theory and its Applications(ISITA) 2012 pp.591-595 （共著）
37.	2012/09	論文	Operations of Points on Elliptic Curve in Projective Coordinates Formalized Mathematics 20(1),pp.87-95 （共著）
38.	2012/09	論文	Z-module Formalized Mathematics 20(1),pp.47-59 （共著）
39.	2012/04	論文	Set of Points on Elliptic Curve in Projective Coordinates Formalized Mathematics 19(3),pp.131-138 （共著）
40.	2011/07	論文	Formalization of Integral Linear Space Formalized Mathematics 19(1),pp.61-64 （共著）
5件表示
全件表示(40件)

■ 学会発表

1.	2020/09/08	ProVerifを用いたMD変換の形式化（日本応用数理学会 2020年度年会）
2.	2020/03/17	モデル検査器ProVerifによるDES暗号の形式化（2020年電子情報通信学会総合大会）
3.	2020/01/31	協調型DNSによるキャッシュポイズニングの検知（2020年暗号と情報セキュリティシンポジウム(SCIS2020)）
4.	2020/01/30	ProVerifを用いたMD変換の形式化（2020年暗号と情報セキュリティシンポジウム(SCIS2020)）
5.	2020/01/29	DRDoS攻撃の分析及び検証のための仮想環境構築（2020年暗号と情報セキュリティシンポジウム(SCIS2020)）
6.	2020/01/29	通信の規則性を用いた異常検知における攻撃シナリオごとの検知精度の比較（2020年暗号と情報セキュリティシンポジウム(SCIS2020)）
7.	2020/01/23	スマートコントラクトを用いた電力取引システム（ネットワークシステム研究会（NS））
8.	2019/11/18	Mizarにおける楕円曲線の形式化（The 15th Theorem Proving and Provers meeting (TPP 2019)）
9.	2019/11/02	ブロックチェーン技術を用いたDNSキャッシュポイズニング対策の検討（情報セキュリティ研究会（ISEC））
10.	2019/09/03	IoTデバイス上のRing-LWE暗号実装における考察（日本応用数理学会 2019年度年会）
11.	2019/09/03	Mizarによる離散確率分布の統計的識別不能性の形式化（日本応用数理学会 2019年度年会）
12.	2019/03/15	CAN-Ethernet変換における不正アクセスの検知（情報処理学会第81回全国大会）
13.	2019/01/25	ProVerifを用いたCT及びブロックチェーンの形式化（2019年暗号と情報セキュリティシンポジウム(SCIS2019)）
14.	2019/01/23	スマートデバイス利用者に着目した指紋攻撃によるWebサイト閲覧者の追跡（2019年暗号と情報セキュリティシンポジウム(SCIS2019)）
15.	2019/01/23	形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について（第5回実践的IT教育シンポジウム rePiT2019）
16.	2019/01/22	BGPにおける不正な経路情報の検知（2019年暗号と情報セキュリティシンポジウム(SCIS2019)）
17.	2018/12/20	Moodleを用いたProverifのeラーニングシステム（第41回情報理論とその応用シンポジウム(SITA2018)）
18.	2018/11/26	e-Learning System for Cryptography on Moodle（Internet Conference 2018）
19.	2018/09/05	ProVerifを用いたTLS1.3ハンドシェイクプロトコルの形式検証（日本応用数理学会2018年度年会）
20.	2018/01/25	ProVerifを用いたCTの形式化（2018年暗号と情報セキュリティシンポジウム(SCIS2018)）
21.	2017/09/06	ProVerifにおける暗号プリミティブの安全性要件と攻撃モデルの形式化方法について（日本応用数理学会2017年度年会）
22.	2017/03/10	共通鍵暗号方式におけるLinear Obfuscationを用いた効果的な難読化手法（情報セキュリティ研究会（ISEC））
23.	2017/01/25	ProVerifにおけるphaseについて（2017年暗号と情報セキュリティシンポジウム(SCIS2017)）
24.	2015/10/22	Symbolic Execution に対する難読化の評価（コンピュータセキュリティシンポジウム 2015）
25.	2015/09/11	MizarによるProbability Distribution Ensemble の形式定義について（日本応用数理学会 2015年度年会）
26.	2015/03/04	ブラウザにおけるSSL/TLSの証明書検証の改善（情報通信システムセキュリティ研究会 (ICSS)）
27.	2015/01/23	Mizarによる多項式オーダー関数の形式化（2015年暗号と情報セキュリティシンポジウム(SCIS2015)）
28.	2014/11/22	SSL/TLSにおける証明書検証機能改善に関する研究（情報セキュリティ研究会（ISEC））
29.	2014/01/23	Negligibleの形式定義に関する考察（2014年暗号と情報セキュリティシンポジウム(SCIS2014)）
5件表示
全件表示(29件)

■ 講師・講演

2018/12/03

情報セキュリティ技術とその重要性

■ 海外活動

●海外研究活動の為の渡航回数（前年度実績）
在留期間2週間以上のもの	計 0 回
在留期間2週間未満のもの	計 0 回
●海外での国際会議、学会への出席回数及び発表回数（前年度実績）
諸費用の主たる負担者	出席回数	発表回数
主催者	0 回	0 回
外国機関	0 回	0 回
文部科学省・日本学術振興会	0 回	0 回
文部科学省・日本学術振興会以外の政府関係機関	0 回	0 回
所属機関	0 回	0 回
財団等（寄付金・委任経理金含みます）	0 回	0 回
自費	0 回	0 回
計	0 回	0 回
●国際的な学会で使用する外国語
口頭発表に主に用いる言語	英語
論文の執筆に主に用いる言語	英語

■ 所属学会

1.	2012/02～	電子情報通信学会
2.	2013/03～	情報処理学会

■ 受賞学術賞

1.	2011/11	公益社団法人発明協会発明奨励賞 (データの正当性高速検証に関する基本発明(特許第4084827号))
2.	2012/01	一般社団法人大阪発明協会大阪優秀発明賞 (コンテンツデータ高速検証技術(特許第4084827号))
3.	2019/01	日本ソフトウェア科学会実践的IT教育研究会優秀教育実践賞 (形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について)

■ 研究課題・受託研究・科研費

1.	2015/04～2019/03	理論的な安全性評価が可能な耐タンパーソフトウェア技術の研究基盤研究 (C)（一般）（キーワード：耐タンパーソフトウェア、コード難読化）
2.	2017/04～2021/03	形式手法による暗号の安全性証明自動検証システムの開発基盤研究(C)（一般）（キーワード：暗号・認証等、形式検証、応用数学）
3.	2018/04～2021/03	情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発基盤研究(C)（一般）（キーワード：情報セキュリティ人材育成、暗号技術学習支援、eラーニングシステム）