Okazaki Hiroyuki 岡崎裕之

… Alternative Names

OKAZAKI Hiroyuki 岡崎裕之

Less

Researcher Number	50432167
Other IDs
Affiliation (Current)	2025: 信州大学, 学術研究院工学系, 准教授
Affiliation (based on the past Project Information) *help	2025: 信州大学, 学術研究院工学系, 准教授 2020 – 2023: 信州大学, 学術研究院工学系, 准教授 2017 – 2020: 信州大学, 学術研究院工学系, 助教 2013 – 2014: 信州大学, 工学部, 助教 2013: 信州大学, 工学系研究科, 助教 … More 2011 – 2013: 信州大学, 理工学研究科, 助教 2009 – 2011: 信州大学, 工学系研究科, 助教 2009 – 2010: 信州大学, 工学(系)研究科, 助教 Less
Review Section/Research Field	Principal Investigator Basic Section 60070:Information security-related / Information security Except Principal Investigator Educational technology / Basic Section 60050:Software-related / Basic Section 60020:Mathematical informatics-related / Basic Section 09070:Educational technology-related / Fundamental theory of informatics
Keywords	Principal Investigator 応用数学 / 暗号・認証等 / 攻撃モデル形式化 / アルゴリズムのステップ数形式化 / 統計的識別不能性形式化 / 繰り返しおよび再帰形式化 / 安全性要件形式化 / アルゴリズムの計算量形式化 / 暗号システム / 安全性証明 … More / 形式検証 / ProVerif / Mizar / モデル検査 / 形式的定理証明 / 形式的安全性検証 / 暗号理論 … More Except Principal Investigator 観測等価性 / DDoS攻撃 / 仮想化技術 / セキュリティ評価 / ICT技術者 / Virtual Programming Lab / Proverif / CAI教材 / 形式的暗号プロトコル安全性検証ツール / Virtual Programing Lab / Moodle / ProVerif / 安全性自動検証 / 形式化 / eラーニングシステム / 暗号技術学習支援 / 情報セキュリティ人材育成 / 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / Mizar / 定理証明支援系 / 形式化数学 / e-learning / プルーフチェッカ / eラーニング / センサネットワーク / 暗号・承認等 / センサーネットワーク / 暗号・認証等 / 自学自習型 / 学生サポート / 学習履歴 / 学習サポート / e-Learning / 教育工学 / e-ラーニング Less

ブロックチェーン関連技術の形式的安全性検証に関する研究Principal Investigator
- Principal Investigator
  
  岡崎裕之
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Shinshu University
形式手法を用いた数論アルゴリズムの設計支援システムの開発
- Principal Investigator
  
  長尾孝一
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60020:Mathematical informatics-related
- Research Institution
  Kanto Gakuin University
ネットワークシステムのセキュリティで等価な仮想評価環境の構築
- Principal Investigator
  
  布田裕一
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo University of Technology
Development of e-learning system for human resource development in the information security field
- Principal Investigator
  
  Murakami Yasuyuki
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 09070:Educational technology-related
- Research Institution
  Osaka Electro-Communication University
Developing Automated formal Verification System for CryptologyPrincipal Investigator
- Principal Investigator
  
  Okazaki Hiroyuki
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Information security
- Research Institution
  Shinshu University
Content Development for Distance Education in Advanced University Mathematics Using Mizar
- Principal Investigator
  
  SHIDAMA Yasunari
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational technology
- Research Institution
  Shinshu University
Study on secure and safety technology for sensor networks
- Principal Investigator
  
  MIYAJI Atsuko
- Project Period (FY)
  2009 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Development of the Comprehensive Support and Advice Activities System for Students of remote self-learning systems using e-Learning
- Principal Investigator
  
  FUWA Yasushi
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational technology
- Research Institution
  Shinshu University

[Journal Article] How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif2024
- Author(s)
  Takehiko MIENO, Hiroyuki OKAZAKI, Kenichi ARAI, Yuichi FUTA
- Journal Title
  
  IEEE Access
  
  Volume: 12 Pages: 31605-31625
- DOI
  10.1109/access.2024.3368453
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11982
[Journal Article] Formal Verification of Merkle-Damgård Construction in ProVerif2020
- Author(s)
  Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
- Journal Title
  
  IEICE Proceeding Series
  
  Volume: 65 Pages: 602-606
- DOI
  10.34385/proc.65.E03-2
- NAID
  230000012659
- ISSN
  2188-5079
- Year and Date
  2020-10-18
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K02917
[Journal Article] Educating Cryptography using Formal Security Verification tool for Cryptographic Protocols2020
- Author(s)
  岡崎裕之、紫村彰吾、宮本樹、渡邊樹、布田裕一、村上恭通
- Journal Title
  
  Computer Software
  
  Volume: 37 Issue: 1 Pages: 1_99-1_113
- DOI
  10.11309/jssst.37.1_99
- NAID
  130007801473
- ISSN
  0289-6540
- Year and Date
  2020-01-24
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00182, KAKENHI-PROJECT-18K02917
[Journal Article] Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm2019
- Author(s)
  Hiroyuki Okazaki, Koh-ichi Nagao and Yuichi Futa
- Journal Title
  
  Formalized Mathematics
  
  Volume: 27 Issue: 1 Pages: 87-91
- DOI
  10.2478/forma-2019-0009
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00183, KAKENHI-PROJECT-17K00182
[Journal Article] Operations of Points on Elliptic Curve in Affine Coordinates2019
- Author(s)
  Futa Yuichi、Okazaki Hiroyuki、Shidama Yasunari
- Journal Title
  
  Formalized Mathematics
  
  Volume: 27 Issue: 3 Pages: 315-320
- DOI
  10.2478/forma-2019-0026
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00182
[Journal Article] Binary Representation of Natural Numbers2018
- Author(s)
  Okazaki Hiroyuki
- Journal Title
  
  Formalized Mathematics
  
  Volume: 26 Issue: 3 Pages: 223-229
- DOI
  10.2478/forma-2018-0020
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00182
[Journal Article] Submodule of free Z-module2014
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(4) Issue: 4 Pages: 275-284
- DOI
  10.2478/forma-2013-0029
- NAID
  120007101157
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013
- Author(s)
  Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho , Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 207-211
- DOI
  10.2478/forma-2013-0022
- NAID
  120007101145
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Free Z-module2013
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Pages: 275-280
- NAID
  120007101126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Journal Article] The C^k Space2013
- Author(s)
  Katuhiko Kanazashi, Hroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(1) Issue: 1 Pages: 25-31
- DOI
  10.2478/forma-2013-0002
- NAID
  120007101139
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] N-dimensional Binary Vector Spaces2013
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(2) Issue: 2 Pages: 75-81
- DOI
  10.2478/forma-2013-0008
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Isomorphisms of Direct Products of Finite Commutative Groups2013
- Author(s)
  Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(1) Issue: 1 Pages: 65-74
- DOI
  10.2478/forma-2013-0007
- NAID
  120007101138
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Random Variables and Product of Probability Spaces2013
- Author(s)
  Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(1) Issue: 1 Pages: 33-39
- DOI
  10.2478/forma-2013-0003
- NAID
  120007101137
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of the Advanced Encryption Standard. Part I2013
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 171-184
- DOI
  10.2478/forma-2013-0019
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Constructing Binary Huffman Tree2013
- Author(s)
  Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(2) Issue: 2 Pages: 133-143
- DOI
  10.2478/forma-2013-0015
- NAID
  120007101135
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Extended Euclidean Algorithm and CRT Algorithm2013
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(2) Pages: 175-179
- NAID
  120007101129
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Journal Article] Posterior Probability on Finite Set2013
- Author(s)
  Hiroyuki Okazaki
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Pages: 257-263
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Journal Article] Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar2013
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: 50(2) Issue: 2 Pages: 161-172
- DOI
  10.1007/s10817-012-9265-2
- NAID
  120007105033
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formal Definition of Probability on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2013
- Author(s)
  Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
- Journal Title
  
  Artificial Intelligence Research
  
  Volume: 2(4) Issue: 4 Pages: 37-48
- DOI
  10.5430/air.v2n4p37
- NAID
  120007105032
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar2013
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: 50(2) Pages: 161-172
- NAID
  120007105033
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Journal Article] Double Sequences and Limits2013
- Author(s)
  Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 163-170
- DOI
  10.2478/forma-2013-0018
- NAID
  120007101144
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[Journal Article] Gaussian Integers2013
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(2) Issue: 2 Pages: 115-125
- DOI
  10.2478/forma-2013-0013
- NAID
  120007101136
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Banach Algebra of Comple-Valued Continuous Functionals and Space of Complex-valued Continuous Functionals with Bounded Support2012
- Author(s)
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1)(採録決定済)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Banach's Continuous Inverse Theorem and Closed Graph Theorem2012
- Author(s)
  Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Issue: 4 Pages: 271-274
- DOI
  10.2478/v10037-012-0032-y
- NAID
  120007101127
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of the Data Encryption Standard2012
- Author(s)
  Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(2) Pages: 125-146
- NAID
  120007101130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Journal Article] Quotient Module of Z-module2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(3) Issue: 3 Pages: 205-214
- DOI
  10.2478/v10037-012-0024-y
- NAID
  120007101128
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Functional SpaceC(Ω), C_0(Ω)2012
- Author(s)
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 15-22
- DOI
  10.2478/v10037-012-0003-3
- NAID
  120007101111
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Higher Order Partial Differentiation2012
- Author(s)
  Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(2) Issue: 2 Pages: 113-124
- DOI
  10.2478/v10037-012-0015-z
- NAID
  120007101131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Operations of Points on Elliptic Curve in Projective Coordinates2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 87-95
- DOI
  10.2478/v10037-012-0012-2
- NAID
  120007101132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Free Z-module2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Issue: 4 Pages: 257-280
- DOI
  10.2478/v10037-012-0033-x
- NAID
  120007101126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Z-modules2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 47-59
- DOI
  10.2478/v10037-012-0007-z
- NAID
  120007101141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Operations of Points on Elliptic Curve in Projective Coordinates2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Pages: 87-95
- NAID
  120007101132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Journal Article] Extended Euclidean Algorithm and CRT Algorithm2012
- Author(s)
  Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(2) Issue: 2 Pages: 175-179
- DOI
  10.2478/v10037-012-0020-2
- NAID
  120007101129
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Isomorphisms of Direct Product of Finite Cyclic Groups2012
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Issue: 4 Pages: 343-347
- DOI
  10.2478/v10037-012-0038-5
- NAID
  120007101124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of the Data Encryption Standard2012
- Author(s)
  Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(2) Issue: 2 Pages: 125-146
- DOI
  10.2478/v10037-012-0016-y
- NAID
  120007101130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Cartesian Products of Family of Real Linear Spaces2011
- Author(s)
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(1) Issue: 1 Pages: 51-59
- DOI
  10.2478/v10037-011-0009-2
- NAID
  120007101117
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of Integral Linear Space2011
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(1) Issue: 1 Pages: 61-64
- DOI
  10.2478/v10037-011-0010-9
- NAID
  120007101115
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Normal Subgroup of Product of Groups2011
- Author(s)
  Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Journal Article] Banach Algebra of Bounded Complex-Valued Functionals2011
- Author(s)
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(2) Issue: 2 Pages: 121-126
- DOI
  10.2478/v10037-011-0019-0
- NAID
  120007101118
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Set of Points on Elliptic Curve in Projective Coordinates2011
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Journal Article] Moreon Continuous Functions on Normed Linear Spaces2011
- Author(s)
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(1) Issue: 1 Pages: 45-49
- DOI
  10.2478/v10037-011-0008-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Differentiable Functions into Real Normed Spaces2011
- Author(s)
  Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(2) Issue: 2 Pages: 69-72
- DOI
  10.2478/v10037-011-0012-7
- NAID
  120007101116
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] More on Continuous Functions on Normed Linear Spaces2011
- Author(s)
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(未定)(採録決定)
- NAID
  120007101114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Probability Measure on Discrete Spaces and Algebra of Real Valued Random Variables2010
- Author(s)
  H.Okazaki, Y.Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 18 Pages: 213-217
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001
[Patent] IoTデバイス間での相互認証付き鍵共有システム2020
- Inventor(s)
  三重野武彦, 岡崎裕之
- Industrial Property Rights Holder
  三重野武彦, 岡崎裕之
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2020-204371
- Filing Date
  2020
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] AES暗号処理装置に対する増分故障解析の攻撃検証と評価2023
- Author(s)
  玉川未蘭, 布田裕一, 三重野武彦, 岡崎裕之
- Organizer
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-56
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] DNSログを用いたDNSキャッシュポイズニング攻撃検知手法のシミュレーション2023
- Author(s)
  田中健士朗, 布田裕一, 岡崎裕之, 鈴木彦文
- Organizer
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-64
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] ブラウザフィンガープリントを用いた端末識別と特徴点の考察2023
- Author(s)
  塚崎崇至, 布田裕一, 岡崎裕之, 鈴木彦文
- Organizer
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-53
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] 制御システムにおけるリプレイ攻撃に対するリアルタイム検知2023
- Author(s)
  西浩志, 布田裕一, 岡崎裕之
- Organizer
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-52
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] DDoS攻撃によるSnortと正規ユーザーへの影響分析2023
- Author(s)
  鹿野湧生. 布田裕一, 鈴木彦文, 岡崎裕之
- Organizer
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-65
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] DDoS攻撃によるSnortの影響分析2023
- Author(s)
  鹿野湧生. 布田裕一, 鈴木彦文, 岡崎裕之
- Organizer
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-30
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] ブラウザフィンガープリントを用いたリスクベース認証における有効な特徴点の分析2023
- Author(s)
  塚崎崇至, 布田裕一, 岡崎裕之, 鈴木彦文
- Organizer
  情報通信システムセキュリティ研究会 (ICSS), ICSS2023-16
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] リプレイ攻撃を含む通信データセットに対する機械学習を用いた異常検知2023
- Author(s)
  西浩志, 布田裕一, 岡崎裕之
- Organizer
  情報通信システムセキュリティ研究会 (ICSS), ISEC2023-52
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] SVM による工場ネットワークにおける偽装通信の検知手法のリアルタイム性の検証2022
- Author(s)
  原田雄基. 布田裕一 , 岡崎裕之
- Organizer
  2022年暗号と情報セキュリティシンポジウム SCIS2022
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] 制御システムにおける多地点パケットキャプチャを利用した異常検知2022
- Author(s)
  西浩志, 布田裕一, 鈴木智道, 岡崎裕之
- Organizer
  研究報告コンピュータセキュリティ（CSEC） , 2022-CSEC-99
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] ブロックチェーン技術を用いたDNSキャッシュポイズニング検知方式の評価2022
- Author(s)
  田中健士朗, 布田裕一, 岡崎裕之, 鈴木彦文
- Organizer
  電子情報通信学会 ICSS研究会
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] ブラウザフィンガープリンティングにおけるプライバシーを考慮したWebサイト利用者の識別・追跡2022
- Author(s)
  塚崎崇至, 布田裕一, 鈴木智道, 岡崎裕之
- Organizer
  信学技報, ISEC2022-28
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] 情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築2022
- Author(s)
  大町隆人, 岡崎裕之, 布田裕一, 村上恭通
- Organizer
  第8回実践的IT教育シンポジウムrePiT2022
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] ブロックチェーン技術を用いたカミンスキー攻撃検知手法の提案2022
- Author(s)
  田中健士朗, 布田裕一, 岡崎裕之, 鈴木彦文
- Organizer
  信学技報, NS2022-116
- Data Source
  KAKENHI-PROJECT-22K11982
[Presentation] SDNを用いたDDoS攻撃に対する防御機構構築2022
- Author(s)
  徳山凌, 布田裕一 , 鈴木彦文, 岡崎裕之
- Organizer
  2022年暗号と情報セキュリティシンポジウム SCIS2022
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] ProVerifを用いたスポンジ構造の形式化2021
- Author(s)
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- Organizer
  2021年暗号と情報セキュリティシンポジウム（SCIS2021)
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] 制御システムにおける異常検知手法とデータセットの評価2021
- Author(s)
  原田雄基, 布田裕一, 岡崎裕之
- Organizer
  2021年暗号と情報セキュリティシンポジウム（SCIS2021)
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] Virtual Environment for Analysis and Evaluation of DDoS Attacks2021
- Author(s)
  Ryo Tokuyama, Yuichi Futa, Hikofumi Suzuki, Hiroyuki Okazaki
- Organizer
  INTRICATE-SEC-2021, Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifを用いたPolicy-based Chameleon Hashによる修正可能なブロックチェーンの形式化2021
- Author(s)
  杉山航平, 荒井研一,岡崎裕之,布田裕一,三重野武彦
- Organizer
  日本応用数理学会 2021年度年会
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] 協調型DNSによるキャッシュポイズニングの検知2020
- Author(s)
  高橋幸宏,布田裕一,岡崎裕之,鈴木彦文
- Organizer
  2020年暗号と情報セキュリティシンポジウム（SCIS2020)
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifを用いたMD変換の形式化2020
- Author(s)
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- Organizer
  日本応用数理学会 2020年度年会
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] モデル検査器ProVerifによるDES暗号の形式化2020
- Author(s)
  磯貝百恵,岡崎裕之,荒井研一,布田裕一,三重野武彦
- Organizer
  2020年電子情報通信学会総合大会
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] Formal Verification of Merkle-Damgard Construction in ProVerif2020
- Author(s)
  Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
- Organizer
  The International Symposium on Information Theory and Its Applications(ISITA2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifを用いたMD変換の形式化2020
- Author(s)
  吉村　東悟,荒井　研一,岡崎　裕之,布田　裕一,三重野　武彦
- Organizer
  2020年暗号と情報セキュリティシンポジウム（SCIS2020)
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifを用いたスポンジ構造の形式化2020
- Author(s)
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- Organizer
  2021年暗号と情報セキュリティシンポジウム（SCIS2021)
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] モデル検査器ProVerifによるDES暗号の形式化2020
- Author(s)
  磯貝百恵, 岡崎裕之, 荒井研一, 布田裕一, 三重野武彦
- Organizer
  2020年電子情報通信学会総合大会
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] ProVerifを用いたMD変換の形式化2020
- Author(s)
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- Organizer
  日本応用数理学会 2020年度年会
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] Mizarによる離散確率分布の統計的識別不能性の形式化2019
- Author(s)
  岡崎裕之, 布田裕一, 師玉康成
- Organizer
  日本応用数理学会 2019年度年会
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifを用いたCT及びブロックチェーンの形式化2019
- Author(s)
  荒井研一, 岡崎裕之, 布田裕一
- Organizer
  2019年暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2019
- Author(s)
  紫村彰吾, 岡崎裕之, 宮本樹, 渡邊樹, 布田裕一, 村上恭通
- Organizer
  第5回実践的IT教育シンポジウム rePiT2019 in 愛媛
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2019
- Author(s)
  岡崎裕之, 紫村彰吾, 宮本樹, 渡邊樹, 布田裕一, 村上恭通
- Organizer
  第5回実践的IT教育シンポジウム rePiT2019
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] 形式的安全性検証ツールを用いた暗号教育の実践とその e-Learning 教材化の課題について2019
- Author(s)
  紫村彰吾, 岡崎裕之, 宮本樹, 渡邊樹, 布田裕一, 村上恭通
- Organizer
  第5回実践的IT教育シンポジウム (rePiT2019)
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif2019
- Author(s)
  Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa
- Organizer
  ProVerif,The 2019 International Conference on Security and Management (SAM'19)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] Mizarによる離散確率分布の統計的識別不能性の形式化2019
- Author(s)
  岡崎裕之, 布田裕一, 師玉康成
- Organizer
  日本応用数理学会 2019年度年会予稿集
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif2019
- Author(s)
  Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa
- Organizer
  The 2019 International Conference on Security and Management (SAM'19)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] Moodle を用いた Proverifの e ラーニングシステム2018
- Author(s)
  渡邊樹, 宮本樹, 紫村彰吾, 岡崎裕之, 布田裕一, 村上恭通
- Organizer
  第41回情報理論とその応用シンポジウム (SITA2018)
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif2018
- Author(s)
  Okazaki Hiroyuki、Futa Yuichi、Arai Kenichi
- Organizer
  The International Symposium on Information Theory and Its Applications(ISITA2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] e-Learning System for Cryptography on Moodle2018
- Author(s)
  Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami
- Organizer
  Internet Conference 2018 (IC2018),Poster session
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] Moodleを用いたProverifのeラーニングシステム2018
- Author(s)
  渡邊樹，宮本樹，紫村彰吾，岡崎裕之，布田裕一，村上恭通
- Organizer
  第41回情報理論とその応用シンポジウム(SITA2018), Poster session
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerif を用いたTLS1.3ハンドシェイクプロトコルの形式検証2018
- Author(s)
  荒井研一, 岡崎裕之, 布田裕一
- Organizer
  日本応用数理学会 2018年度年会
- Invited
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] e-Learning System for Cryptography on Moodle2018
- Author(s)
  Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami
- Organizer
  Internet Conference 2018 (IC2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] ProVerifを用いたCTの形式化2018
- Author(s)
  荒井　研一、岡崎　裕之、布田　裕一
- Organizer
  2018年暗号と情報セキュリティシンポジウム (SCIS2018)
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifにおける暗号プリミティブの安全性要件と攻撃モデルの形式化方法について2017
- Author(s)
  荒井　研一、岡崎　裕之、布田　裕一
- Organizer
  日本応用数理学会2017年度年会
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] negligible function の形式定義について2014
- Author(s)
  岡崎裕之, 布田　裕一
- Organizer
  日本応用数理学会2014年研究部会連合発表会「数理的技法による情報セキュリティ」(FAIS)セッション
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- Author(s)
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- Organizer
  Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
- Place of Presentation
  Las Vegas, Nevada, USA
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- Author(s)
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- Organizer
  2013 International Conference on e-Learning, e-Business, Enterprise Information Systems and e-Government (EEE'13)
- Place of Presentation
  Las Vegas , Nevada,USA
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] 形成化数学記述言語Mizarによる共通鍵暗号AESの形式化2012
- Author(s)
  今村充志, 岡崎裕之, 師玉康成
- Organizer
  2012年日本応用数理学会・研究部会連合発表会
- Place of Presentation
  九州大学
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] 形式化数学記述言語 Mizar による楕円曲線の形式化2012
- Author(s)
  水島大地, 布田裕一, 岡崎裕之
- Organizer
  2012年暗号と情報セキュリティシンポジウム
- Place of Presentation
  2012年暗号と情報セキュリティシンポジウム金沢エクセルホテル東急 (金沢市)
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] Formalization Verification of AES Using the Mizar Proof Checker2012
- Author(s)
  Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
- Organizer
  2012 International Conference on Foundations of Computer Science (FCS'12)
- Place of Presentation
  Las Vegas, Nevada, USA
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] Mizarによる大学数学向け高度遠隔教育用コンテンツ開発2012
- Author(s)
  井戸貴也, 岡崎裕之, 山崎　浩, 師玉康成
- Organizer
  電子情報通信学会教育工学研究会
- Place of Presentation
  佐賀大学
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Formalization Verification of AES Using the Mizar Proof Checker2012
- Author(s)
  Hiroyuki Okazaki,Kenichi Arai, Yasunari shidama
- Organizer
  2012 International Conference on Foundations of Computer Science
- Place of Presentation
  米国ラスベガス
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] ProVerifによるペアリングの形式化に関する考察2012
- Author(s)
  荒井研一, 岡崎裕之
- Organizer
  2012年暗号と情報セキュリティシンポジウム
- Place of Presentation
  金沢エクセルホテル東急 (金沢市)
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] 形式化数学システムMizarによる数論アルゴリズムの検証2012
- Author(s)
  水島大地, 青木祥希, 岡崎裕之, 師玉康成
- Organizer
  2012年日本応用数理学会・研究部会連合発表会
- Place of Presentation
  九州大学
- Year and Date
  2012-03-09
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Formalization of Gaussian Integers, Gaussian Rational Numbers, and Their Algebraic Structures with Mizar2012
- Author(s)
  Yuichi Futa, Daichi Mizushima,Hiroyuki Okazaki
- Organizer
  2012 International Symposium on Information Theory and its Applications (ISITA2012)
- Place of Presentation
  Honolulu, Hawaii, USA
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] Mizarによる素体上の楕円曲線の形式化2011
- Author(s)
  布田裕一, 岡崎裕之, 師玉康成
- Organizer
  第9回「代数学と計算」研究集会
- Place of Presentation
  首都大学東京
- Year and Date
  2011-11-07
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Mizarによる有限かつ離散的な標本空間における確率の形式化2011
- Author(s)
  荒井研一, 岡崎裕之
- Organizer
  2011年暗号と情報セキュリティシンポジウム
- Place of Presentation
  リーガロイヤルホテル小倉
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Formal Definition of Probability and Probabilistic Function on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2011
- Author(s)
  Hiroyuki Okazaki, Yasunari Shidama, Yuichi Futa
- Organizer
  The 2011 Joint Mathematics Meetings
- Place of Presentation
  New Orleans, USA
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] Mizarによる有限かつ離散的な標本空間における確率の形式化2011
- Author(s)
  荒井研一, 岡崎裕之
- Organizer
  2011年暗号と情報セキュリティシンポジウム
- Place of Presentation
  リーガロイヤルホテル小倉(福岡)
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] Formal Definition of Probability and Probabilistic Function on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2011
- Author(s)
  Hiroyuki Okazaki, Yasunari Shidama, Yuichi Futa
- Organizer
  The 2011 Joint Mathematics Meetings
- Place of Presentation
  New Orleans
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Formal Verification of DES Using the Mizar Proof Checker2011
- Author(s)
  Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
- Organizer
  2011 International Conference on Foundations of Computer Science (FCS'11)
- Place of Presentation
  Monte Carlo Resort hotel (Las Vegas, Nevada, USA)
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker2010
- Author(s)
  K.Arai, N.Kondo, H.Okazaki
- Organizer
  2010 International Conference on Foundations of Computer Science (FCS'10)
- Place of Presentation
  Las Vegas, Nevada, USA
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] 形式化数学記述言語MizarによるDESの形式化2010
- Author(s)
  小林亮太, 荒井研一, 岡崎裕之, 師玉康
- Organizer
  2010年暗号と情報セキュリティシンポジウム
- Place of Presentation
  サンポートホール高松
- Year and Date
  2010-01-20
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker2010
- Author(s)
  Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
- Organizer
  2010 International Conference on Foundations of Computer Science (FCS'10)
- Place of Presentation
  Las Vegas Nevada, USA
- Data Source
  KAKENHI-PROJECT-21240001
[Presentation] Moodle用数理演習モジュールを用いた整数論コースウェアの製作2009
- Author(s)
  小林亮太, 岡崎裕之, ほか
- Organizer
  教育システム情報学会第34回全国大会
- Place of Presentation
  名古屋大学
- Year and Date
  2009-08-20
- Data Source
  KAKENHI-PROJECT-19300279
[Presentation] Moodle用数理演習モジュールを用いたWeb上での数理教育手法2008
- Author(s)
  三輪辰雄, 和崎克己, 岡崎裕之, ほか
- Organizer
  電子情報通信学会教育工学研究会
- Place of Presentation
  香川大学
- Year and Date
  2008-03-07
- Data Source
  KAKENHI-PROJECT-19300279
[Presentation] Negligibleの形式定義に関する考察
- Author(s)
  岡崎　裕之,　布田　裕一
- Organizer
  The 31st Symposium on Cryptography and Information Security (SCIS2014)
- Place of Presentation
  城山観光ホテル(鹿児島)
- Data Source
  KAKENHI-PROJECT-21240001

1. FUTA Yuichi (50706223)

# of Collaborated Projects: 5 results

# of Collaborated Products: 56 results
2. WASAKI Katumi (70271492)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
3. SHIDAMA Yasunari (20226129)

# of Collaborated Projects: 2 results

# of Collaborated Products: 35 results
4. ARAI Kenichi (60645290)

# of Collaborated Projects: 2 results

# of Collaborated Products: 15 results
5. FUWA Yasushi (00165507)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. MORI Kazuo (30157854)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. TAKAHASHI Tomone (20291388)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. NIIMURA Masaaki (20345755)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. KUNIMUNE Hisayoshi (90377648)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. MIYAJI Atsuko (10313701)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. HIROSE Syouichi (20228836)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. SOSHI Masakazu (00293142)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. KPAULINE Naomi (40283238)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. YAMAZAKI Hiroshi (00293522)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
15. Murakami Yasuyuki (50368172)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
16. 今田里佳 (80306670)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 長尾孝一 (00308321)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 鈴木彦文 (30300578)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
19. IMAI Mika

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. KAWAMOTO Pauline・Naomi

# of Collaborated Projects: 0 results

# of Collaborated Products: 29 results

Okazaki Hiroyuki 岡崎 裕之

OKAZAKI Hiroyuki 岡崎 裕之

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of e-learning system for human resource development in the information security field

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Developing Automated formal Verification System for CryptologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Content Development for Distance Education in Advanced University Mathematics Using Mizar

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on secure and safety technology for sensor networks

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of the Comprehensive Support and Advice Activities System for Students of remote self-learning systems using e-Learning

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Formal Verification of Merkle-Damgård Construction in ProVerif2020

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] Educating Cryptography using Formal Security Verification tool for Cryptographic Protocols2020

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm2019

Author(s)

Journal Title

DOI

Okazaki Hiroyuki 岡崎裕之

OKAZAKI Hiroyuki 岡崎裕之