布田裕一 FUTA Yuichi

研究者番号	50706223
その他のID
所属 (現在)	2025年度: 東京工科大学, コンピュータサイエンス学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2025年度: 東京工科大学, コンピュータサイエンス学部, 教授 2020年度 – 2023年度: 東京工科大学, コンピュータサイエンス学部, 教授 2016年度 – 2020年度: 東京工科大学, コンピュータサイエンス学部, 准教授 2015年度: 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 2013年度: 北陸先端科学技術大学院大学, 情報科学研究科, 准教授
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / 情報セキュリティ研究代表者以外小区分60070:情報セキュリティ関連 / 小区分60020:数理情報学関連 / 小区分09070:教育工学関連 / 情報セキュリティ / 教育工学
キーワード	研究代表者観測等価性 / DDoS攻撃 / 仮想化技術 / セキュリティ評価 / 非線形変換 / 難読化技術 / ProVerif / 形式検証 / 耐タンパー技術 / White-Box Cryptography … もっと見る研究代表者以外 … もっと見る ProVerif / 暗号理論 / Mizar / マルコフチェーン / ブロックチェーン / 安全性検証 / 形式手法 / ICT技術者 / Virtual Programming Lab / Proverif / CAI教材 / 形式的暗号プロトコル安全性検証ツール / Virtual Programing Lab / Moodle / 安全性自動検証 / 形式化 / eラーニングシステム / 暗号技術学習支援 / 情報セキュリティ人材育成 / 応用数学 / 暗号・認証等 / 攻撃モデル形式化 / アルゴリズムのステップ数形式化 / 統計的識別不能性形式化 / 繰り返しおよび再帰形式化 / 安全性要件形式化 / アルゴリズムの計算量形式化 / 暗号システム / 安全性証明 / 形式検証 / モデル検査 / 形式的定理証明 / 形式的安全性検証 / 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / 定理証明支援系 / 形式化数学 / e-learning / プルーフチェッカ / eラーニング隠す

ブロックチェーン関連技術の形式的安全性検証に関する研究
- 研究代表者
  
  岡崎裕之
- 研究期間 (年度)
  2025 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60070:情報セキュリティ関連
- 研究機関
  信州大学
形式手法を用いた数論アルゴリズムの設計支援システムの開発
- 研究代表者
  
  長尾孝一
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60020:数理情報学関連
- 研究機関
  関東学院大学
ネットワークシステムのセキュリティで等価な仮想評価環境の構築研究代表者
- 研究代表者
  
  布田裕一
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京工科大学
情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発
- 研究代表者
  
  村上恭通
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分09070:教育工学関連
- 研究機関
  大阪電気通信大学
形式手法による暗号の安全性証明自動検証システムの開発
- 研究代表者
  
  岡崎裕之
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報セキュリティ
- 研究機関
  信州大学
理論的な安全性評価が可能な耐タンパーソフトウェア技術の研究研究代表者
- 研究代表者
  
  布田裕一
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報セキュリティ
- 研究機関
  東京工科大学
   北陸先端科学技術大学院大学
ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
- 研究代表者
  
  師玉康成
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  教育工学
- 研究機関
  信州大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2015 2014 2013 2012 2011

すべて雑誌論文学会発表

[雑誌論文] How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif2024
- 著者名/発表者名
  Takehiko MIENO, Hiroyuki OKAZAKI, Kenichi ARAI, Yuichi FUTA
- 雑誌名
  
  IEEE Access
  
  巻: 12 ページ: 31605-31625
- DOI
  10.1109/access.2024.3368453
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22K11982
[雑誌論文] Inverse Function Theorem. Part I2021
- 著者名/発表者名
  Kazuhisa Nakasho, Yuichi Futa
- 雑誌名
  
  FORMALIZED MATHEMATICS
  
  巻: 29(1) 号: 1 ページ: 9-20
- DOI
  10.2478/forma-2021-0002
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182, KAKENHI-PROJECT-20K19863
[雑誌論文] Formal Verification of Merkle-Damgård Construction in ProVerif2020
- 著者名/発表者名
  Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
- 雑誌名
  
  IEICE Proceeding Series
  
  巻: 65 ページ: 602-606
- DOI
  10.34385/proc.65.E03-2
- NAID
  230000012659
- ISSN
  2188-5079
- 年月日
  2020-10-18
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-18K02917
[雑誌論文] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2020
- 著者名/発表者名
  岡崎裕之、紫村彰吾、宮本樹、渡邊樹、布田裕一、村上恭通
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 37 号: 1 ページ: 1_99-1_113
- DOI
  10.11309/jssst.37.1_99
- NAID
  130007801473
- ISSN
  0289-6540
- 年月日
  2020-01-24
- 言語
  日本語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182, KAKENHI-PROJECT-18K02917
[雑誌論文] Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm2019
- 著者名/発表者名
  Hiroyuki Okazaki, Koh-ichi Nagao and Yuichi Futa
- 雑誌名
  
  Formalized Mathematics
  
  巻: 27 号: 1 ページ: 87-91
- DOI
  10.2478/forma-2019-0009
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-15K00183, KAKENHI-PROJECT-17K00182
[雑誌論文] Operations of Points on Elliptic Curve in Affine Coordinates2019
- 著者名/発表者名
  Futa Yuichi、Okazaki Hiroyuki、Shidama Yasunari
- 雑誌名
  
  Formalized Mathematics
  
  巻: 27 号: 3 ページ: 315-320
- DOI
  10.2478/forma-2019-0026
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] Continuity of Bounded Linear Operators on Normed Linear Spaces2018
- 著者名/発表者名
  Nakasho Kazuhisa、Futa Yuichi、Shidama Yasunari
- 雑誌名
  
  Formalized Mathematics
  
  巻: 26 号: 3 ページ: 231-237
- DOI
  10.2478/forma-2018-0021
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] Dual Lattice of Z-module Lattice2017
- 著者名/発表者名
  Yuichi Futa and Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 25 号: 2 ページ: 157-169
- DOI
  10.1515/forma-2017-0015
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-15K00183
[雑誌論文] Isomorphism Theorem on Vector Spaces over a Ring2017
- 著者名/発表者名
  Yuichi Futa and Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 25 号: 3 ページ: 171-178
- DOI
  10.1515/forma-2017-0016
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-15K00183
[雑誌論文] Implicit Function Theorem. Part I2017
- 著者名/発表者名
  Nakasho Kazuhisa、Futa Yuichi、Shidama Yasunari
- 雑誌名
  
  Formalized Mathematics
  
  巻: 25 号: 4 ページ: 269-281
- DOI
  10.1515/forma-2017-0026
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] Embedded Lattice and Properties of Gram Matrix2017
- 著者名/発表者名
  Yuichi Futa and Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 25 号: 1 ページ: 73-86
- DOI
  10.1515/forma-2017-0007
- 査読あり / 謝辞記載あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00183
[雑誌論文] Submodule of free Z-module2014
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(4) 号: 4 ページ: 275-284
- DOI
  10.2478/forma-2013-0029
- NAID
  120007101157
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[雑誌論文] Constructing Binary Huffman Tree2013
- 著者名/発表者名
  Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(2) 号: 2 ページ: 133-143
- DOI
  10.2478/forma-2013-0015
- NAID
  120007101135
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar2013
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Journal of Automated Reasoning
  
  巻: 50(2) 号: 2 ページ: 161-172
- DOI
  10.1007/s10817-012-9265-2
- NAID
  120007105033
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Formal Definition of Probability on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2013
- 著者名/発表者名
  Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
- 雑誌名
  
  Artificial Intelligence Research
  
  巻: 2(4) 号: 4 ページ: 37-48
- DOI
  10.5430/air.v2n4p37
- NAID
  120007105032
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[雑誌論文] Gaussian Integers2013
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(2) 号: 2 ページ: 115-125
- DOI
  10.2478/forma-2013-0013
- NAID
  120007101136
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[雑誌論文] Isometric Differentiable Functions on Real Normed Space2013
- 著者名/発表者名
  Yuichi Futa, Noboru Endou, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(4) 号: 4 ページ: 249-260
- DOI
  10.2478/forma-2013-0027
- NAID
  120007101146
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[雑誌論文] Quotient Module of Z-module2012
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(3) 号: 3 ページ: 205-214
- DOI
  10.2478/v10037-012-0024-y
- NAID
  120007101128
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Operations of Points on Elliptic Curve in Projective Coordinates2012
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(1) 号: 1 ページ: 87-95
- DOI
  10.2478/v10037-012-0012-2
- NAID
  120007101132
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Free Z-module2012
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(4) 号: 4 ページ: 257-280
- DOI
  10.2478/v10037-012-0033-x
- NAID
  120007101126
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Z-modules2012
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(1) 号: 1 ページ: 47-59
- DOI
  10.2478/v10037-012-0007-z
- NAID
  120007101141
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Formalization of Integral Linear Space2011
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 19(1) 号: 1 ページ: 61-64
- DOI
  10.2478/v10037-011-0010-9
- NAID
  120007101115
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] AES暗号処理装置に対する増分故障解析の攻撃検証と評価2023
- 著者名/発表者名
  玉川未蘭, 布田裕一, 三重野武彦, 岡崎裕之
- 学会等名
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-56
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] DNSログを用いたDNSキャッシュポイズニング攻撃検知手法のシミュレーション2023
- 著者名/発表者名
  田中健士朗, 布田裕一, 岡崎裕之, 鈴木彦文
- 学会等名
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-64
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] ブラウザフィンガープリントを用いた端末識別と特徴点の考察2023
- 著者名/発表者名
  塚崎崇至, 布田裕一, 岡崎裕之, 鈴木彦文
- 学会等名
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-53
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] 制御システムにおけるリプレイ攻撃に対するリアルタイム検知2023
- 著者名/発表者名
  西浩志, 布田裕一, 岡崎裕之
- 学会等名
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-52
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] DDoS攻撃によるSnortと正規ユーザーへの影響分析2023
- 著者名/発表者名
  鹿野湧生. 布田裕一, 鈴木彦文, 岡崎裕之
- 学会等名
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-65
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] DDoS攻撃によるSnortの影響分析2023
- 著者名/発表者名
  鹿野湧生. 布田裕一, 鈴木彦文, 岡崎裕之
- 学会等名
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-30
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] ブラウザフィンガープリントを用いたリスクベース認証における有効な特徴点の分析2023
- 著者名/発表者名
  塚崎崇至, 布田裕一, 岡崎裕之, 鈴木彦文
- 学会等名
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-16
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] リプレイ攻撃を含む通信データセットに対する機械学習を用いた異常検知2023
- 著者名/発表者名
  西浩志, 布田裕一, 岡崎裕之
- 学会等名
  情報通信システムセキュリティ研究会 (ICSS), ISEC2023-52
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] SVM による工場ネットワークにおける偽装通信の検知手法のリアルタイム性の検証2022
- 著者名/発表者名
  原田雄基. 布田裕一 , 岡崎裕之
- 学会等名
  2022年暗号と情報セキュリティシンポジウム SCIS2022
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] 制御システムにおける多地点パケットキャプチャを利用した異常検知2022
- 著者名/発表者名
  西浩志, 布田裕一, 鈴木智道, 岡崎裕之
- 学会等名
  研究報告コンピュータセキュリティ（CSEC） , 2022-CSEC-99
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] ブロックチェーン技術を用いたDNSキャッシュポイズニング検知方式の評価2022
- 著者名/発表者名
  田中健士朗, 布田裕一, 岡崎裕之, 鈴木彦文
- 学会等名
  電子情報通信学会 ICSS研究会
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] ブラウザフィンガープリンティングにおけるプライバシーを考慮したWebサイト利用者の識別・追跡2022
- 著者名/発表者名
  塚崎崇至, 布田裕一, 鈴木智道, 岡崎裕之
- 学会等名
  信学技報, ISEC2022-28
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] 情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築2022
- 著者名/発表者名
  大町隆人, 岡崎裕之, 布田裕一, 村上恭通
- 学会等名
  第8回実践的IT教育シンポジウムrePiT2022
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] ブロックチェーン技術を用いたカミンスキー攻撃検知手法の提案2022
- 著者名/発表者名
  田中健士朗, 布田裕一, 岡崎裕之, 鈴木彦文
- 学会等名
  信学技報, NS2022-116
- データソース
  KAKENHI-PROJECT-22K11982
[学会発表] SDNを用いたDDoS攻撃に対する防御機構構築2022
- 著者名/発表者名
  徳山凌, 布田裕一 , 鈴木彦文, 岡崎裕之
- 学会等名
  2022年暗号と情報セキュリティシンポジウム SCIS2022
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] ProVerifを用いたスポンジ構造の形式化2021
- 著者名/発表者名
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- 学会等名
  2021年暗号と情報セキュリティシンポジウム（SCIS2021)
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ブロックチェーンとフォグノードを用いたIoT機器の認証・認可2021
- 著者名/発表者名
  五十嵐孝洋, 布田裕一
- 学会等名
  電子情報通信学会,ICSS研究会
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] 制御システムにおける異常検知手法とデータセットの評価2021
- 著者名/発表者名
  原田雄基, 布田裕一, 岡崎裕之
- 学会等名
  2021年暗号と情報セキュリティシンポジウム（SCIS2021)
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] Virtual Environment for Analysis and Evaluation of DDoS Attacks2021
- 著者名/発表者名
  Ryo Tokuyama, Yuichi Futa, Hikofumi Suzuki, Hiroyuki Okazaki
- 学会等名
  INTRICATE-SEC-2021, Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ProVerifを用いたPolicy-based Chameleon Hashによる修正可能なブロックチェーンの形式化2021
- 著者名/発表者名
  杉山航平, 荒井研一,岡崎裕之,布田裕一,三重野武彦
- 学会等名
  日本応用数理学会 2021年度年会
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] 協調型DNSによるキャッシュポイズニングの検知2020
- 著者名/発表者名
  高橋幸宏,布田裕一,岡崎裕之,鈴木彦文
- 学会等名
  2020年暗号と情報セキュリティシンポジウム（SCIS2020)
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ProVerifを用いたMD変換の形式化2020
- 著者名/発表者名
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- 学会等名
  日本応用数理学会 2020年度年会
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] モデル検査器ProVerifによるDES暗号の形式化2020
- 著者名/発表者名
  磯貝百恵,岡崎裕之,荒井研一,布田裕一,三重野武彦
- 学会等名
  2020年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] Formal Verification of Merkle-Damgard Construction in ProVerif2020
- 著者名/発表者名
  Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
- 学会等名
  The International Symposium on Information Theory and Its Applications(ISITA2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ブロックチェーンとフォグノードを用いたIoT機器の認証・認可2020
- 著者名/発表者名
  五十嵐孝洋, 布田裕一
- 学会等名
  ICSS
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] ProVerifを用いたMD変換の形式化2020
- 著者名/発表者名
  吉村　東悟,荒井　研一,岡崎　裕之,布田　裕一,三重野　武彦
- 学会等名
  2020年暗号と情報セキュリティシンポジウム（SCIS2020)
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ProVerifを用いたスポンジ構造の形式化2020
- 著者名/発表者名
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- 学会等名
  2021年暗号と情報セキュリティシンポジウム（SCIS2021)
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] モデル検査器ProVerifによるDES暗号の形式化2020
- 著者名/発表者名
  磯貝百恵, 岡崎裕之, 荒井研一, 布田裕一, 三重野武彦
- 学会等名
  2020年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] ProVerifを用いたMD変換の形式化2020
- 著者名/発表者名
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- 学会等名
  日本応用数理学会 2020年度年会
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] Mizarによる離散確率分布の統計的識別不能性の形式化2019
- 著者名/発表者名
  岡崎裕之, 布田裕一, 師玉康成
- 学会等名
  日本応用数理学会 2019年度年会
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ProVerifを用いたCT及びブロックチェーンの形式化2019
- 著者名/発表者名
  荒井研一, 岡崎裕之, 布田裕一
- 学会等名
  2019年暗号と情報セキュリティシンポジウム
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2019
- 著者名/発表者名
  紫村彰吾, 岡崎裕之, 宮本樹, 渡邊樹, 布田裕一, 村上恭通
- 学会等名
  第5回実践的IT教育シンポジウム rePiT2019 in 愛媛
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2019
- 著者名/発表者名
  岡崎裕之, 紫村彰吾, 宮本樹, 渡邊樹, 布田裕一, 村上恭通
- 学会等名
  第5回実践的IT教育シンポジウム rePiT2019
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] 形式的安全性検証ツールを用いた暗号教育の実践とその e-Learning 教材化の課題について2019
- 著者名/発表者名
  紫村彰吾, 岡崎裕之, 宮本樹, 渡邊樹, 布田裕一, 村上恭通
- 学会等名
  第5回実践的IT教育シンポジウム (rePiT2019)
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] BGP経路における不正な経路情報の検知2019
- 著者名/発表者名
  高橋幸宏, 鈴木智道, 布田裕一, 田中覚
- 学会等名
  暗号と情報セキュリティシンポジウム(SCIS2019)
- データソース
  KAKENHI-PROJECT-15K00183
[学会発表] CAN-Ethernet変換における不正アクセスの検知2019
- 著者名/発表者名
  田付洋大, 布田裕一, 鈴木智道, 田中覚
- 学会等名
  情報処理学会第81回全国大会
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif2019
- 著者名/発表者名
  Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa
- 学会等名
  ProVerif,The 2019 International Conference on Security and Management (SAM'19)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ProVerifを用いたCT及びブロックチェーンの形式化2019
- 著者名/発表者名
  荒井研一, 岡崎裕之, 布田裕一
- 学会等名
  暗号と情報セキュリティシンポジウム(SCIS2019)
- データソース
  KAKENHI-PROJECT-15K00183
[学会発表] Mizarによる離散確率分布の統計的識別不能性の形式化2019
- 著者名/発表者名
  岡崎裕之, 布田裕一, 師玉康成
- 学会等名
  日本応用数理学会 2019年度年会予稿集
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif2019
- 著者名/発表者名
  Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa
- 学会等名
  The 2019 International Conference on Security and Management (SAM'19)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] Moodle を用いた Proverifの e ラーニングシステム2018
- 著者名/発表者名
  渡邊樹, 宮本樹, 紫村彰吾, 岡崎裕之, 布田裕一, 村上恭通
- 学会等名
  第41回情報理論とその応用シンポジウム (SITA2018)
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] ProVerifを用いたCTの形式化2018
- 著者名/発表者名
  荒井　研一, 岡崎　裕之, 布田　裕一
- 学会等名
  2018年暗号と情報セキュリティシンポジウム (SCIS2018)
- データソース
  KAKENHI-PROJECT-15K00183
[学会発表] Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif2018
- 著者名/発表者名
  Okazaki Hiroyuki、Futa Yuichi、Arai Kenichi
- 学会等名
  The International Symposium on Information Theory and Its Applications(ISITA2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] e-Learning System for Cryptography on Moodle2018
- 著者名/発表者名
  Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami
- 学会等名
  Internet Conference 2018 (IC2018),Poster session
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] Moodleを用いたProverifのeラーニングシステム2018
- 著者名/発表者名
  渡邊樹，宮本樹，紫村彰吾，岡崎裕之，布田裕一，村上恭通
- 学会等名
  第41回情報理論とその応用シンポジウム(SITA2018), Poster session
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ProVerif を用いたTLS1.3ハンドシェイクプロトコルの形式検証2018
- 著者名/発表者名
  荒井研一, 岡崎裕之, 布田裕一
- 学会等名
  日本応用数理学会 2018年度年会
- 招待講演
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] e-Learning System for Cryptography on Moodle2018
- 著者名/発表者名
  Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami
- 学会等名
  Internet Conference 2018 (IC2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K02917
[学会発表] ProVerifを用いたCTの形式化2018
- 著者名/発表者名
  荒井　研一、岡崎　裕之、布田　裕一
- 学会等名
  2018年暗号と情報セキュリティシンポジウム (SCIS2018)
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] ProVerifにおけるphaseについて2017
- 著者名/発表者名
  荒井　研一、岡崎　裕之、布田　裕一
- 学会等名
  暗号と情報セキュリティシンポジウム(SCIS)
- 発表場所
  ロワジールホテル那覇(沖縄県那覇市)
- 年月日
  2017-01-25
- データソース
  KAKENHI-PROJECT-15K00183
[学会発表] 共通鍵暗号方式におけるLinear Obfuscationを用いた効果的な難読化手法2017
- 著者名/発表者名
  ステュワートギャビンレン，布田裕一，宮地充子
- 学会等名
  IEICE Japan Tech. Rep. ISEC2017 (2017-03)
- 発表場所
  東海大学(東京都港区)
- 年月日
  2017-03-10
- データソース
  KAKENHI-PROJECT-15K00183
[学会発表] ProVerifにおける暗号プリミティブの安全性要件と攻撃モデルの形式化方法について2017
- 著者名/発表者名
  荒井　研一、岡崎　裕之、布田　裕一
- 学会等名
  日本応用数理学会2017年度年会
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] Symbolic Execution に対する難読化の評価2015
- 著者名/発表者名
  ステュワートギャヴィン, 宮地充子, 布田裕一
- 学会等名
  コンピュータセキュリティシンポジウム
- 発表場所
  長崎ブリックホール(長崎県長崎市)
- 年月日
  2015-10-22
- データソース
  KAKENHI-PROJECT-15K00183
[学会発表] negligible function の形式定義について2014
- 著者名/発表者名
  岡崎裕之, 布田　裕一
- 学会等名
  日本応用数理学会2014年研究部会連合発表会「数理的技法による情報セキュリティ」(FAIS)セッション
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Mizarによる素体上の楕円曲線の形式化2011
- 著者名/発表者名
  布田裕一, 岡崎裕之, 師玉康成
- 学会等名
  第9回「代数学と計算」研究集会
- 発表場所
  首都大学東京
- 年月日
  2011-11-07
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Formal Definition of Probability and Probabilistic Function on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2011
- 著者名/発表者名
  Hiroyuki Okazaki, Yasunari Shidama, Yuichi Futa
- 学会等名
  The 2011 Joint Mathematics Meetings
- 発表場所
  New Orleans
- データソース
  KAKENHI-PROJECT-22300285

1. 岡崎裕之 (50432167)

共同の研究課題数: 7件

共同の研究成果数: 62件
2. 荒井研一 (60645290)

共同の研究課題数: 3件

共同の研究成果数: 11件
3. 師玉康成 (20226129)

共同の研究課題数: 2件

共同の研究成果数: 14件
4. 和崎克己 (70271492)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. K PAULINE Naomi (40283238)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 山崎浩 (00293522)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 村上恭通 (50368172)

共同の研究課題数: 1件

共同の研究成果数: 5件
8. 宮地充子 (10313701)

共同の研究課題数: 1件

共同の研究成果数: 2件
9. CHEN Jiageng (90640748)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 長尾孝一 (00308321)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 鈴木彦文 (30300578)

共同の研究課題数: 1件

共同の研究成果数: 8件
12. KAWAMOTO Pauline・Naomi

共同の研究課題数: 0件

共同の研究成果数: 8件

布田 裕一 FUTA Yuichi

研究課題

研究成果

共同研究者

ブロックチェーン関連技術の形式的安全性検証に関する研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

形式手法を用いた数論アルゴリズムの設計支援システムの開発

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ネットワークシステムのセキュリティで等価な仮想評価環境の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

形式手法による暗号の安全性証明自動検証システムの開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

理論的な安全性評価が可能な耐タンパーソフトウェア技術の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Inverse Function Theorem. Part I2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Formal Verification of Merkle-Damgård Construction in ProVerif2020

著者名/発表者名

雑誌名

DOI

NAID

ISSN

年月日

言語

データソース

[雑誌論文] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2020

著者名/発表者名

雑誌名

DOI

NAID

ISSN

年月日

言語

データソース

[雑誌論文] Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Operations of Points on Elliptic Curve in Affine Coordinates2019

布田裕一 FUTA Yuichi