岡崎裕之 Okazaki Hiroyuki

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

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

[雑誌論文] 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
[雑誌論文] 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
[雑誌論文] Binary Representation of Natural Numbers2018
- 著者名/発表者名
  Okazaki Hiroyuki
- 雑誌名
  
  Formalized Mathematics
  
  巻: 26 号: 3 ページ: 223-229
- DOI
  10.2478/forma-2018-0020
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] 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
[雑誌論文] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013
- 著者名/発表者名
  Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho , Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(3) 号: 3 ページ: 207-211
- DOI
  10.2478/forma-2013-0022
- NAID
  120007101145
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Free Z-module2013
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(4) ページ: 275-280
- NAID
  120007101126
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[雑誌論文] The C^k Space2013
- 著者名/発表者名
  Katuhiko Kanazashi, Hroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(1) 号: 1 ページ: 25-31
- DOI
  10.2478/forma-2013-0002
- NAID
  120007101139
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] N-dimensional Binary Vector Spaces2013
- 著者名/発表者名
  Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(2) 号: 2 ページ: 75-81
- DOI
  10.2478/forma-2013-0008
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Isomorphisms of Direct Products of Finite Commutative Groups2013
- 著者名/発表者名
  Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(1) 号: 1 ページ: 65-74
- DOI
  10.2478/forma-2013-0007
- NAID
  120007101138
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Random Variables and Product of Probability Spaces2013
- 著者名/発表者名
  Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(1) 号: 1 ページ: 33-39
- DOI
  10.2478/forma-2013-0003
- NAID
  120007101137
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Formalization of the Advanced Encryption Standard. Part I2013
- 著者名/発表者名
  Kenichi Arai, Hiroyuki Okazaki
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(3) 号: 3 ページ: 171-184
- DOI
  10.2478/forma-2013-0019
- 査読あり
- データソース
  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
[雑誌論文] Extended Euclidean Algorithm and CRT Algorithm2013
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(2) ページ: 175-179
- NAID
  120007101129
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[雑誌論文] Posterior Probability on Finite Set2013
- 著者名/発表者名
  Hiroyuki Okazaki
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(4) ページ: 257-263
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[雑誌論文] 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
[雑誌論文] 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) ページ: 161-172
- NAID
  120007105033
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[雑誌論文] Double Sequences and Limits2013
- 著者名/発表者名
  Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(3) 号: 3 ページ: 163-170
- DOI
  10.2478/forma-2013-0018
- NAID
  120007101144
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[雑誌論文] 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
[雑誌論文] Banach Algebra of Comple-Valued Continuous Functionals and Space of Complex-valued Continuous Functionals with Bounded Support2012
- 著者名/発表者名
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(1)(採録決定済)
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Banach's Continuous Inverse Theorem and Closed Graph Theorem2012
- 著者名/発表者名
  Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(4) 号: 4 ページ: 271-274
- DOI
  10.2478/v10037-012-0032-y
- NAID
  120007101127
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Formalization of the Data Encryption Standard2012
- 著者名/発表者名
  Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(2) ページ: 125-146
- NAID
  120007101130
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[雑誌論文] 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
[雑誌論文] Functional SpaceC(Ω), C_0(Ω)2012
- 著者名/発表者名
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(1) 号: 1 ページ: 15-22
- DOI
  10.2478/v10037-012-0003-3
- NAID
  120007101111
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Higher Order Partial Differentiation2012
- 著者名/発表者名
  Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(2) 号: 2 ページ: 113-124
- DOI
  10.2478/v10037-012-0015-z
- NAID
  120007101131
- 査読あり
- データソース
  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
[雑誌論文] Operations of Points on Elliptic Curve in Projective Coordinates2012
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(1) ページ: 87-95
- NAID
  120007101132
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[雑誌論文] Extended Euclidean Algorithm and CRT Algorithm2012
- 著者名/発表者名
  Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(2) 号: 2 ページ: 175-179
- DOI
  10.2478/v10037-012-0020-2
- NAID
  120007101129
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Isomorphisms of Direct Product of Finite Cyclic Groups2012
- 著者名/発表者名
  Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(4) 号: 4 ページ: 343-347
- DOI
  10.2478/v10037-012-0038-5
- NAID
  120007101124
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Formalization of the Data Encryption Standard2012
- 著者名/発表者名
  Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(2) 号: 2 ページ: 125-146
- DOI
  10.2478/v10037-012-0016-y
- NAID
  120007101130
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Cartesian Products of Family of Real Linear Spaces2011
- 著者名/発表者名
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 19(1) 号: 1 ページ: 51-59
- DOI
  10.2478/v10037-011-0009-2
- NAID
  120007101117
- 査読あり
- データソース
  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
[雑誌論文] Normal Subgroup of Product of Groups2011
- 著者名/発表者名
  Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 19(掲載確定)
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[雑誌論文] Banach Algebra of Bounded Complex-Valued Functionals2011
- 著者名/発表者名
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 19(2) 号: 2 ページ: 121-126
- DOI
  10.2478/v10037-011-0019-0
- NAID
  120007101118
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Set of Points on Elliptic Curve in Projective Coordinates2011
- 著者名/発表者名
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 19(掲載確定)
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[雑誌論文] Moreon Continuous Functions on Normed Linear Spaces2011
- 著者名/発表者名
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 19(1) 号: 1 ページ: 45-49
- DOI
  10.2478/v10037-011-0008-3
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Differentiable Functions into Real Normed Spaces2011
- 著者名/発表者名
  Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 19(2) 号: 2 ページ: 69-72
- DOI
  10.2478/v10037-011-0012-7
- NAID
  120007101116
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] More on Continuous Functions on Normed Linear Spaces2011
- 著者名/発表者名
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 19(未定)(採録決定)
- NAID
  120007101114
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Probability Measure on Discrete Spaces and Algebra of Real Valued Random Variables2010
- 著者名/発表者名
  H.Okazaki, Y.Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 18 ページ: 213-217
- 査読あり
- データソース
  KAKENHI-PROJECT-21240001
[産業財産権] IoTデバイス間での相互認証付き鍵共有システム2020
- 発明者名
  三重野武彦, 岡崎裕之
- 権利者名
  三重野武彦, 岡崎裕之
- 産業財産権種類
  特許
- 産業財産権番号
  2020-204371
- 出願年月日
  2020
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] 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
[学会発表] 制御システムにおける異常検知手法とデータセットの評価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
[学会発表] 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
[学会発表] 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
[学会発表] 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
[学会発表] 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における暗号プリミティブの安全性要件と攻撃モデルの形式化方法について2017
- 著者名/発表者名
  荒井　研一、岡崎　裕之、布田　裕一
- 学会等名
  日本応用数理学会2017年度年会
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] negligible function の形式定義について2014
- 著者名/発表者名
  岡崎裕之, 布田　裕一
- 学会等名
  日本応用数理学会2014年研究部会連合発表会「数理的技法による情報セキュリティ」(FAIS)セッション
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- 著者名/発表者名
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- 学会等名
  Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
- 発表場所
  Las Vegas, Nevada, USA
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- 著者名/発表者名
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- 学会等名
  2013 International Conference on e-Learning, e-Business, Enterprise Information Systems and e-Government (EEE'13)
- 発表場所
  Las Vegas , Nevada,USA
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] 形成化数学記述言語Mizarによる共通鍵暗号AESの形式化2012
- 著者名/発表者名
  今村充志, 岡崎裕之, 師玉康成
- 学会等名
  2012年日本応用数理学会・研究部会連合発表会
- 発表場所
  九州大学
- 年月日
  2012-03-08
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] 形式化数学記述言語 Mizar による楕円曲線の形式化2012
- 著者名/発表者名
  水島大地, 布田裕一, 岡崎裕之
- 学会等名
  2012年暗号と情報セキュリティシンポジウム
- 発表場所
  2012年暗号と情報セキュリティシンポジウム金沢エクセルホテル東急 (金沢市)
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] Formalization Verification of AES Using the Mizar Proof Checker2012
- 著者名/発表者名
  Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
- 学会等名
  2012 International Conference on Foundations of Computer Science (FCS'12)
- 発表場所
  Las Vegas, Nevada, USA
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] Mizarによる大学数学向け高度遠隔教育用コンテンツ開発2012
- 著者名/発表者名
  井戸貴也, 岡崎裕之, 山崎　浩, 師玉康成
- 学会等名
  電子情報通信学会教育工学研究会
- 発表場所
  佐賀大学
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Formalization Verification of AES Using the Mizar Proof Checker2012
- 著者名/発表者名
  Hiroyuki Okazaki,Kenichi Arai, Yasunari shidama
- 学会等名
  2012 International Conference on Foundations of Computer Science
- 発表場所
  米国ラスベガス
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] ProVerifによるペアリングの形式化に関する考察2012
- 著者名/発表者名
  荒井研一, 岡崎裕之
- 学会等名
  2012年暗号と情報セキュリティシンポジウム
- 発表場所
  金沢エクセルホテル東急 (金沢市)
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] 形式化数学システムMizarによる数論アルゴリズムの検証2012
- 著者名/発表者名
  水島大地, 青木祥希, 岡崎裕之, 師玉康成
- 学会等名
  2012年日本応用数理学会・研究部会連合発表会
- 発表場所
  九州大学
- 年月日
  2012-03-09
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Formalization of Gaussian Integers, Gaussian Rational Numbers, and Their Algebraic Structures with Mizar2012
- 著者名/発表者名
  Yuichi Futa, Daichi Mizushima,Hiroyuki Okazaki
- 学会等名
  2012 International Symposium on Information Theory and its Applications (ISITA2012)
- 発表場所
  Honolulu, Hawaii, USA
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] Mizarによる素体上の楕円曲線の形式化2011
- 著者名/発表者名
  布田裕一, 岡崎裕之, 師玉康成
- 学会等名
  第9回「代数学と計算」研究集会
- 発表場所
  首都大学東京
- 年月日
  2011-11-07
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Mizarによる有限かつ離散的な標本空間における確率の形式化2011
- 著者名/発表者名
  荒井研一, 岡崎裕之
- 学会等名
  2011年暗号と情報セキュリティシンポジウム
- 発表場所
  リーガロイヤルホテル小倉
- データソース
  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, USA
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] Mizarによる有限かつ離散的な標本空間における確率の形式化2011
- 著者名/発表者名
  荒井研一, 岡崎裕之
- 学会等名
  2011年暗号と情報セキュリティシンポジウム
- 発表場所
  リーガロイヤルホテル小倉(福岡)
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] 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
[学会発表] Formal Verification of DES Using the Mizar Proof Checker2011
- 著者名/発表者名
  Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
- 学会等名
  2011 International Conference on Foundations of Computer Science (FCS'11)
- 発表場所
  Monte Carlo Resort hotel (Las Vegas, Nevada, USA)
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker2010
- 著者名/発表者名
  K.Arai, N.Kondo, H.Okazaki
- 学会等名
  2010 International Conference on Foundations of Computer Science (FCS'10)
- 発表場所
  Las Vegas, Nevada, USA
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] 形式化数学記述言語MizarによるDESの形式化2010
- 著者名/発表者名
  小林亮太, 荒井研一, 岡崎裕之, 師玉康
- 学会等名
  2010年暗号と情報セキュリティシンポジウム
- 発表場所
  サンポートホール高松
- 年月日
  2010-01-20
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker2010
- 著者名/発表者名
  Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
- 学会等名
  2010 International Conference on Foundations of Computer Science (FCS'10)
- 発表場所
  Las Vegas Nevada, USA
- データソース
  KAKENHI-PROJECT-21240001
[学会発表] Moodle用数理演習モジュールを用いた整数論コースウェアの製作2009
- 著者名/発表者名
  小林亮太, 岡崎裕之, ほか
- 学会等名
  教育システム情報学会第34回全国大会
- 発表場所
  名古屋大学
- 年月日
  2009-08-20
- データソース
  KAKENHI-PROJECT-19300279
[学会発表] Moodle用数理演習モジュールを用いたWeb上での数理教育手法2008
- 著者名/発表者名
  三輪辰雄, 和崎克己, 岡崎裕之, ほか
- 学会等名
  電子情報通信学会教育工学研究会
- 発表場所
  香川大学
- 年月日
  2008-03-07
- データソース
  KAKENHI-PROJECT-19300279
[学会発表] Negligibleの形式定義に関する考察
- 著者名/発表者名
  岡崎　裕之,　布田　裕一
- 学会等名
  The 31st Symposium on Cryptography and Information Security (SCIS2014)
- 発表場所
  城山観光ホテル(鹿児島)
- データソース
  KAKENHI-PROJECT-21240001

1. 布田裕一 (50706223)

共同の研究課題数: 6件

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

共同の研究課題数: 3件

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

共同の研究課題数: 2件

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

共同の研究課題数: 2件

共同の研究成果数: 35件
5. 不破泰 (00165507)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 守一雄 (30157854)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 高橋知音 (20291388)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 新村正明 (20345755)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 國宗永佳 (90377648)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 廣瀬勝一 (20228836)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 双紙正和 (00293142)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

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

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 5件
16. 今田里佳 (80306670)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 8件
19. 今井美香

共同の研究課題数: 1件

共同の研究成果数: 0件
20. KAWAMOTO Pauline・Naomi

共同の研究課題数: 0件

共同の研究成果数: 29件

岡崎 裕之 Okazaki Hiroyuki

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

センサネットワークの安全・安心を保証する情報セキュリティ技術の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

自学自習型e-Learningにおける学生サポートシステムの開発に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

雑誌名

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

データソース

岡崎裕之 Okazaki Hiroyuki