布田裕一

フタユウイチ | Futa Yuichi

所属機関・部署：
職名：教授

研究分野 (2件)：情報学基礎論 , 情報セキュリティ

研究キーワード (4件)：暗号方式の形式検証 , 暗号技術 , Formal verification of cryptosystems , Cryptology

競争的資金等の研究課題 (6件)：

全件表示

論文 (41件)：

Takehiko Mieno. Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa. Comparison of Tamarin-prover and ProVerif security verification. 2022 International Conference on Security and Management (SAM'22). 2022
Ryo Tokuyama, Yuichi Futa, Hikofumi Suzuki, Hiroyuki Okazaki. 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). 2021. 459-468
Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai. Formal Verification of Merkle-Damgård Construction in ProVerif. ISITA2020. 2020. 602-606
岡崎裕之, 紫村彰吾, 宮本樹, 渡邊樹, 布田裕一, 村上恭通. 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について. コンピュータソフトウェア. 2020. 37. 1. 99-113
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Operations of Points on Elliptic Curve in Affine Coordinates. Formalized Mathematics. 2019. 27. 3. 315-320

MISC (2件)：

Kazuhisa Nakasho, Yuichi Futa. Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces. Formalized Mathematics. 2022. 30. 1. 67-77
Kazuhisa Nakasho, Yuichi Futa. Inverse Function Theorem. Part I. Formalized Mathematics. 2021. 29. 1. 9-20

書籍 (1件)：

講演・口頭発表等 (53件)：

心理操作テクニックを利用した標的型メール攻撃への対策
(2023年暗号と情報セキュリティシンポジウム(SCIS2023) 2023)
ブロックチェーンによる医療用IoT機器の改ざん防止システムの提案
(2023年暗号と情報セキュリティシンポジウム(SCIS2023) 2023)
ブラウザフィンガープリントを用いたユーザー認証システムに関する考察
(2023年暗号と情報セキュリティシンポジウム(SCIS2023) 2023)
Tamarin-prover を用いたAEAD の形式的安全性検証
(2023年暗号と情報セキュリティシンポジウム(SCIS2023) 2023)
制御システムにおける多地点パケットキャプチャを利用した異常検知
(コンピュータセキュリティ研究会(CSEC) 2022)

学歴 (1件)：

学位 (1件)：

経歴 (13件)：

全件表示

委員歴 (3件)：

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

受賞 (3件)：

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

所属学会 (2件)：

情報処理学会 , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

布田 裕一