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

■ 職歴／学内役職・委員

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

■ 専門分野

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

■ 著書・論文歴

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.	2024/02	論文	How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif IEEE Access 12,pp.31605-31625 （共著）
11.	2023/07	論文	Formal Verification of Authenticated Encryption with Associated Data with Tamarin Prover 2023 International Conference on Security and Management (SAM'23) （共著）
12.	2022/12	論文	Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces Formalized Mathematics 30(1),pp.67-77 （共著）
13.	2022/07	論文	Comparison of Tamarin-prover and ProVerif security verification 2022 International Conference on Security and Management (SAM'22) （共著）
14.	2021/05	論文	Inverse Function Theorem. Part I Formalized Mathematics 29(1),pp.9-20 （共著）
15.	2021/05	論文	Virtual Environment for Analysis and Evaluation of DDoS Attacks INTRICATE-SEC-2021, Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021) pp.459-468 （共著）
16.	2020/10	論文	Formal Verification of Merkle-Damgård Construction in ProVerif ISITA2020 （共著）
17.	2020/01	論文	形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題についてコンピュータソフトウェア 37(1),99-113頁（共著）
18.	2019/10	論文	Operations of Points on Elliptic Curve in Affine Coordinates Formalized Mathematics 27(3),pp.315-320 （共著）
19.	2019/07	論文	Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif 2019 International Conference on Security and Management (SAM'19) （共著）
20.	2019/03	論文	Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm Formalized Mathematics 27(1),pp.79-83 （共著）
21.	2018/12	論文	Continuity of Bounded Linear Operators on Normed Linear Spaces Formalized Mathematics 26(3),pp.231-237 （共著）
22.	2018/10	論文	Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif The International Symposium on Information Theory and Its Applications (ISITA) 2018 （共著）
23.	2018/01	論文	Implicit Function Theorem. Part I Formalized Mathematics 25(4),pp.269-282 （共著）
24.	2017/12	論文	Isomorphism Theorem on Vector Spaces over a Ring Formalized Mathematics 25(3),pp.171-178 （共著）
25.	2017/09	論文	Dual Lattice of Z-module Lattice Formalized Mathematics 25(2),pp.157-169 （共著）
26.	2017/05	論文	Embedded Lattice and Properties of Gram Matrix Formalized Mathematics 25(1),pp.73-86 （共著）
27.	2016/08	論文	Divisible Z-modules Formalized Mathematics 24(1),pp.49-68 （共著）
28.	2016/08	論文	Lattice of Z-modules Formalized Mathematics 24(1),pp.37-47 （共著）
29.	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 （共著）
30.	2016/03	論文	Torsion-part of Z-module Formalized Mathematics 23(4),pp.297-307 （共著）
31.	2015/09	論文	Polynomially Bounded Sequences and Polynomial Sequences Formalized Mathematics 23(3),pp.205-213 （共著）
32.	2015/03	論文	Matrix of Z-module Formalized Mathematics 23(1),pp.29-49 （共著）
33.	2014/12	論文	Torsion Z-module and Torsion-free Z-module Formalized Mathematics 22(4),pp.277-289 （共著）
34.	2014/03	論文	Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module Formalized Mathematics 22(3),pp.189-198 （共著）
35.	2014/03	論文	Topological Properties of Real Normed Space Formalized Mathematics 22(3),pp.209-223 （共著）
36.	2013/12	論文	Isometric Differentiable Functions on Real Normed Space Formalized Mathematics 21(4),pp.249-260 （共著）
37.	2013/12	論文	Submodule of free Z-module Formalized Mathematics 21(4),pp.273-282 （共著）
38.	2013/06	論文	Constructing Binary Huffman Tree Formalized Mathematics 21(2),pp.133-143 （共著）
39.	2013/06	論文	Gaussian Integer Formalized Mathematics 21(2),pp.115-125 （共著）
40.	2013/02	論文	Free Z-module Formalized Mathematics 20(4),pp.275-280 （共著）
41.	2012/12	論文	Quotient module of Z-module Formalized Mathematics 20(3),pp.205-214 （共著）
42.	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 （共著）
43.	2012/09	論文	Operations of Points on Elliptic Curve in Projective Coordinates Formalized Mathematics 20(1),pp.87-95 （共著）
44.	2012/09	論文	Z-module Formalized Mathematics 20(1),pp.47-59 （共著）
45.	2012/04	論文	Set of Points on Elliptic Curve in Projective Coordinates Formalized Mathematics 19(3),pp.131-138 （共著）
46.	2011/07	論文	Formalization of Integral Linear Space Formalized Mathematics 19(1),pp.61-64 （共著）
5件表示
全件表示(46件)

■ 学会発表

1.	2024/01/23	ProVerifと Tamarin proverを開発支援プロセスへ導入するための考察（2024年暗号と情報セキュリティシンポジウム(SCIS2024)）
2.	2024/01/23	ProVerifによるSSEのQ-INDとSSE-INDに関する検証と形式モデルの議論（2024年暗号と情報セキュリティシンポジウム(SCIS2024)）
3.	2023/11/17	DDoS 攻撃によるSnort と正規ユーザーへの影響分析（情報通信システムセキュリティ研究会(ICSS)）
4.	2023/11/17	DNS ログを用いたDNS キャッシュポイズニング攻撃検知手法のシミュレーション（情報通信システムセキュリティ研究会(ICSS)）
5.	2023/11/16	AES暗号処理装置に対する増分故障解析の攻撃検証と評価（情報通信システムセキュリティ研究会(ICSS)）
6.	2023/11/16	ブラウザフィンガープリントを用いた端末識別と特徴点の考察（情報通信システムセキュリティ研究会(ICSS)）
7.	2023/11/16	制御システムにおけるリプレイ攻撃に対するリアルタイム検知（情報通信システムセキュリティ研究会(ICSS)）
8.	2023/07/25	リプレイ攻撃を含む通信データセットに対する機械学習を用いた異常検知（情報セキュリティ研究会 (ISEC)）
9.	2023/07/24	DDoS 攻撃によるSnort の影響分析（情報通信システムセキュリティ研究会(ICSS)）
10.	2023/07/24	ブラウザフィンガープリントを用いたリスクベース認証における有効な特徴点の分析（情報通信システムセキュリティ研究会(ICSS)）
11.	2023/01/27	心理操作テクニックを利用した標的型メール攻撃への対策（2023年暗号と情報セキュリティシンポジウム(SCIS2023)）
12.	2023/01/26	Tamarin-prover を用いたAEAD の形式的安全性検証（2023年暗号と情報セキュリティシンポジウム(SCIS2023)）
13.	2023/01/26	ブラウザフィンガープリントを用いたユーザー認証システムに関する考察（2023年暗号と情報セキュリティシンポジウム(SCIS2023)）
14.	2023/01/26	ブロックチェーンによる医療用IoT機器の改ざん防止システムの提案（2023年暗号と情報セキュリティシンポジウム(SCIS2023)）
15.	2022/12/22	制御システムにおける多地点パケットキャプチャを利用した異常検知（コンピュータセキュリティ研究会(CSEC)）
16.	2022/11/24	ブロックチェーン技術を用いたカミンスキー攻撃検知手法の提案（ネットワークシステム研究会（NS））
17.	2022/07/20	ブラウザフィンガープリンティングにおけるプライバシーを考慮したWebサイト利用者の識別・追跡（情報セキュリティ研究会（ISEC））
18.	2022/03/07	ブラウザフィンガープリンティングと通信パケットを利用したWebサイト利用者の識別（情報通信システムセキュリティ研究会(ICSS)）
19.	2022/03/07	ブロックチェーン技術を用いたDNSキャッシュポイズニング検知方式の評価（情報通信システムセキュリティ研究会(ICSS)）
20.	2022/02/05	情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築（第8回実践的IT教育シンポジウム rePiT2022）
21.	2022/01/21	SDNを用いたDDoS攻撃に対する防御機構構築（2022年暗号と情報セキュリティシンポジウム(SCIS2022)）
22.	2022/01/20	SVMによる工場ネットワークにおける偽装通信の検知手法のリアルタイム性の検証（2022年暗号と情報セキュリティシンポジウム(SCIS2022)）
23.	2022/01/18	ProVerifによる検索可能暗号の形式的安全性検証について（2022年暗号と情報セキュリティシンポジウム(SCIS2022)）
24.	2021/12/10	第四世代鍵共有方式ID-NIKS IVを利用した新たな認証アーキテクチャ（第44回情報理論とその応用シンポジウム（SITA2021））
25.	2021/11/30	マルウェアのAPIコール列データの一部を用いたCNNの水増し手法とRNNでの比較（情報通信システムセキュリティ研究会(ICSS)）
26.	2021/11/30	通信分析を用いた分散型Slow HTTP DoS攻撃のリアルタイム検知（情報通信システムセキュリティ研究会(ICSS)）
27.	2021/09/09	ProVerif を用いたPolicy-based Chameleon Hashによる修正可能なブロックチェーンの形式化（日本応用数理学会 2021年度年会）
28.	2021/07/19	SVMを用いた制御システムに対する偽装命令攻撃の検知（情報セキュリティ研究会（ISEC））
29.	2021/03/02	ブロックチェーンとフォグノードを用いたIoT機器の認証・認可（情報通信システムセキュリティ研究会(ICSS)）
30.	2021/03/02	マルウェアのAPIコール列を用いたCNNとランダムフォレストの精度評価（情報通信システムセキュリティ研究会(ICSS)）
31.	2021/03/02	複数スキームの組み合わせによる分散型Slow HTTP DoS攻撃検知（情報通信システムセキュリティ研究会(ICSS)）
32.	2021/01/21	制御システムにおける異常検知手法とデータセットの評価（2021年暗号と情報セキュリティシンポジウム(SCIS2021)）
33.	2021/01/20	ProVerifを用いたスポンジ構造の形式化（2021年暗号と情報セキュリティシンポジウム(SCIS2021)）
34.	2020/09/08	ProVerifを用いたMD変換の形式化（日本応用数理学会 2020年度年会）
35.	2020/03/17	モデル検査器ProVerifによるDES暗号の形式化（2020年電子情報通信学会総合大会）
36.	2020/01/31	協調型DNSによるキャッシュポイズニングの検知（2020年暗号と情報セキュリティシンポジウム(SCIS2020)）
37.	2020/01/30	ProVerifを用いたMD変換の形式化（2020年暗号と情報セキュリティシンポジウム(SCIS2020)）
38.	2020/01/29	DRDoS攻撃の分析及び検証のための仮想環境構築（2020年暗号と情報セキュリティシンポジウム(SCIS2020)）
39.	2020/01/29	通信の規則性を用いた異常検知における攻撃シナリオごとの検知精度の比較（2020年暗号と情報セキュリティシンポジウム(SCIS2020)）
40.	2020/01/23	スマートコントラクトを用いた電力取引システム（ネットワークシステム研究会（NS））
41.	2019/11/18	Mizarにおける楕円曲線の形式化（The 15th Theorem Proving and Provers meeting (TPP 2019)）
42.	2019/11/02	ブロックチェーン技術を用いたDNSキャッシュポイズニング対策の検討（情報セキュリティ研究会（ISEC））
43.	2019/09/03	IoTデバイス上のRing-LWE暗号実装における考察（日本応用数理学会 2019年度年会）
44.	2019/09/03	Mizarによる離散確率分布の統計的識別不能性の形式化（日本応用数理学会 2019年度年会）
45.	2019/03/15	CAN-Ethernet変換における不正アクセスの検知（情報処理学会第81回全国大会）
46.	2019/01/25	ProVerifを用いたCT及びブロックチェーンの形式化（2019年暗号と情報セキュリティシンポジウム(SCIS2019)）
47.	2019/01/23	スマートデバイス利用者に着目した指紋攻撃によるWebサイト閲覧者の追跡（2019年暗号と情報セキュリティシンポジウム(SCIS2019)）
48.	2019/01/23	形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について（第5回実践的IT教育シンポジウム rePiT2019）
49.	2019/01/22	BGPにおける不正な経路情報の検知（2019年暗号と情報セキュリティシンポジウム(SCIS2019)）
50.	2018/12/20	Moodleを用いたProverifのeラーニングシステム（第41回情報理論とその応用シンポジウム(SITA2018)）
51.	2018/11/26	e-Learning System for Cryptography on Moodle（Internet Conference 2018）
52.	2018/09/05	ProVerifを用いたTLS1.3ハンドシェイクプロトコルの形式検証（日本応用数理学会2018年度年会）
53.	2018/01/25	ProVerifを用いたCTの形式化（2018年暗号と情報セキュリティシンポジウム(SCIS2018)）
54.	2017/09/06	ProVerifにおける暗号プリミティブの安全性要件と攻撃モデルの形式化方法について（日本応用数理学会2017年度年会）
55.	2017/03/10	共通鍵暗号方式におけるLinear Obfuscationを用いた効果的な難読化手法（情報セキュリティ研究会（ISEC））
56.	2017/01/25	ProVerifにおけるphaseについて（2017年暗号と情報セキュリティシンポジウム(SCIS2017)）
57.	2015/10/22	Symbolic Execution に対する難読化の評価（コンピュータセキュリティシンポジウム 2015）
58.	2015/09/11	MizarによるProbability Distribution Ensemble の形式定義について（日本応用数理学会 2015年度年会）
59.	2015/03/04	ブラウザにおけるSSL/TLSの証明書検証の改善（情報通信システムセキュリティ研究会 (ICSS)）
60.	2015/01/23	Mizarによる多項式オーダー関数の形式化（2015年暗号と情報セキュリティシンポジウム(SCIS2015)）
61.	2014/11/22	SSL/TLSにおける証明書検証機能改善に関する研究（情報セキュリティ研究会（ISEC））
62.	2014/01/23	Negligibleの形式定義に関する考察（2014年暗号と情報セキュリティシンポジウム(SCIS2014)）
5件表示
全件表示(62件)

■ 講師・講演

1.

2018/12/03

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

■ 所属学会

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

■ 委員会・協会等

1.	2001/04～2006/03	ISO/IEC JTC1 SC27 WG2委員会委員
2.	2006/03～2013/02	ISO/IEC JTC1 SC27専門委員会委員
3.	2015/01～2015/12	The Ninth International Conference on Provable Security (ProvSec 2015) 実行委員

■ 受賞学術賞

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～2022/03	情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発基盤研究(C)（一般）（キーワード：情報セキュリティ人材育成、暗号技術学習支援、eラーニングシステム）
4.	2022/04～	ネットワークシステムのセキュリティで等価な仮想評価環境の構築基盤研究(C)（一般）（キーワード：セキュリティ評価、仮想化技術、DDoS攻撃、観測等価性）