doctorate in engineering, Kyoto Institute of Technology(Japan)

Theory of informatics, Formal Verification

Information security, Information Security(Cryptology)

2021
GraduateSchoolof Science and Technology, Shinshu University (Associate Professor)

2007 - 2021
GraduateSchoolof Science and Technology, Shinshu University (Assistant Professor)

2005 - 2007
Graduate School of Science and Technology, Shinshu University (Research Associate)

2001 - 2004, Kyoto Institute of Technology, Graduate School of Science and Technology, Division of Information and Production Science

1999 - 2001, Kyoto Institute of Technology, Graduate School of Science and Technology, Division of Electronics and Information Science

1999, Kyoto Institute of Technology, Faculty of Engineering and Design, Department of Electronics and Information Science

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif
Takehiko Mieno,Hiroyuki Okazaki,Kenichi Arai,Yuichi Futa
IEEE Access, 12, 31605-31625, 2024, Refereed

Formal Verification of Authenticated Encryption with Associated Data with Tamarin Prover
Takehiko Mieno,Hiroyuki Okazaki,Kenichi Arai,Yuichi Futa
2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE), 2023, Refereed

On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Hiroyuki Okazaki
Formalized Mathematics, 31(1), 53-57, 2023, Refereed
Lead

Virtual Environment for Analysis and Evaluation of DDoS Attacks
Ryo Tokuyama, Yuichi Futa, Hikofumi Suzuki, Hiroyuki Okazaki
Lecture Notes in Networks and Systems, 227(3), 459-468, 2021, Refereed, Not invited

Formal Verification of Merkle-Damgård Construction in ProVerif
Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
Proc of The International Symposium on Information Theory and Its Applications(ISITA2020), 602-606, 2021, Refereed, Not invited

Real Vector Space and Related Notions
Kazuhisa Nakasho,Hiroyuki Okazaki,Yasunari Shidama
Formalized Mathematics, 29(3), 117-127, 2021, Refereed

Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Kazuhisa Nakasho, Hiroyuki Okazaki
Formalized Mathematics, 29(4), 177-186, 2021, Refereed

The 3-Fold Product Space of Real Normed Spaces and its Properties
Hiroyuki Okazaki, Kazuhisa Nakasho
Formalized Mathematics, 29(4), 245-253, 2021, Refereed

Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif
Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa
The 2019 International Conference on Security and Management (SAM'19), 23-29, 2019, Refereed

Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
Hiroyuki Okazaki,Koh-ichi Nagao,Yuichi Futa
Formalized Mathematics, 27(1), 87-91, 2019, Refereed

Operations of Points on Elliptic Curve in Affine Coordinates
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 27(3), 315-320, 2019, Refereed

Suitable Models for Formal Security Verification of Cryptosystems in ProVerif
Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
The International Symposium on Information Theory and Its Applications(ISITA2018), 326-330, 2018, Refereed

Binary Representation of Natural Numbers
Hiroyuki Okazaki
Formalized Mathematics, 26(3), 223-229, 2018, Refereed

Formalization of Statistical Indistinguishability of Probability Distribution Ensembles in Mizar
Hiroyuki Okazaki
The International Symposium on Information Theory and Its Applications, 517-521, 2016, Refereed

Torsion Part of ℤ-module
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 23(4), 297-307, 2016, Refereed

Algebra of Polynomially Bounded Sequences and Negligible Functions
Hiroyuki Okazaki
Formalized Mathematics, 23(4), 371-378, 2016, Refereed

Conservation Rules of Direct Sum Decomposition of Groups
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 24(1), 81-94, 2016, Refereed

Privacy Preserving Logic Formula Calculation in Cloud
Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama
2016 IEEE Tenth International Conference on Semantic Computing (ICSC), 329-332, 2016, Refereed

Definition and Properties of Direct Sum Decomposition of Groups
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 23(1), 15-27, 2015, Refereed

Matrix of Z-module
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 23(1), 29-49, 2015, Refereed

Equivalent Expressions of Direct Sum Decomposition of Groups
Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Formalized Mathematics, 23(1), 67-73, 2015, Refereed

Polynomially Bounded Sequences and Polynomial Sequences
Hiroyuki Okazaki, Yuichi Futa
Formalized Mathematics, 23(3), 205-213, 2015, Refereed

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 22(3), 189-198, 2014, Refereed

Difference of Function on Vector Space over F
Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki
Formalized Mathematics, 22(3), 265-270, 2014, Refereed

Torsion Z-module and Torsion-free Z-module
Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
Formalized Mathematics, 22(4), 271-283, 2014, Refereed

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar
Okazaki, H; Futa, Y; Shidama, Y
Artificial Intelligence Research, 2(4), 37-48, Aug. 2013, Refereed

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
Futa, Y; Okazaki, H; Shidama, Y
JOURNAL OF AUTOMATED REASONING, 50(2), 161-172, Feb. 2013, Refereed

Content Development for Distance Education in Advanced University Mathematics Using Mizar
Takaya Ido, Hiroyuki Okazaki, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari Shidama
The 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government(EEE'13), 312-326, 2013, Refereed

Formalization Description of Huffman Coding Trees Using the Mizar
Takaya Ido, Hiroyuki Okazaki, Yasunari Shidama
2013 International Conference on Foundations of Computer Science (FCS'13), 59-65, 2013, Refereed

Formalization of Binary Fields and N-dimensional Binary Vector Spaces Using the Mizar Proof Checker
Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
2013 International Conference on Foundations of Computer Science (FCS'13), 71-77, 2013, Refereed

The C^k Space
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 21(1), 25-31, 2013, Refereed

Random Variables and Product of Probability Spaces
Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 21(1), 33-39, 2013, Refereed

Isomorphisms of Direct Products of Finite Commutative Groups
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Formalized Mathematics, 21(1), 65-74, 2013, Refereed

N-dimensional Binary Vector Spaces
Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 21(2), 75-81, 2013, Refereed

Constructing Binary Huffman Tree
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
Formalized Mathematics, 21(2), 133-143, 2013, Refereed

Gaussian Integers
Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama
Formalized Mathematics, 21(2), 115-125, 2013, Refereed

Formalization of the Advanced Encryption Standard. Part I
Kenichi Arai, Hiroyuki Okazaki
Formalized Mathematics, 21(3), 171-184, 2013, Refereed

Double Sequences and Limits
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 21(3), 163-170, 2013, Refereed

Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order
Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
Formalized Mathematics, 21(3), 207-211, 2013, Refereed

Submodule of free Z-module
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 21(4), 273-282, 2013, Refereed

Formalization of Gaussian Integers, Gaussian Rational Numbers, and Their Algebraic Structures with Mizar
Yuichi Futa, Daichi Mizushima,Hiroyuki Okazaki
2012 International Symposium on Information Theory and its Applications (ISITA2012), 591-595, 2012, Refereed

Formalization Verification of AES Using the Mizar Proof Checker
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
2012 International Conference on Foundations of Computer Science (FCS'12), 78-84, 2012, Refereed

Formalization Verification of Number Theoretic Algorithms Using the Mizar Proof Checker
Hiroyuki Okazaki, Yoshiki Aoki, Yasunari Shidama
2012 International Conference on Foundations of Computer Science (FCS'12), 45-50, 2012, Refereed

Signature as Public Key Structured Cryptosystem and its Application
Kenichi Arai, Hiroyuki Okazaki
The 11th International Conference on Security and Management(SAM'12), 22-27, 2012, Refereed

Operations of Points on Elliptic Curve in Projective Coordinates
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
Formalized Mathematics, 20(1), 87-95, 2012, Refereed

Z-modules
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 20(1), 47-59, 2012, Refereed

Functional Space C(ω), C0(ω)
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 20(1), 15-22, 2012, Refereed

Formalization of the Data Encryption Standard
Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 20(2), 125-146, 2012, Refereed

Higher-Order Partial Differentiation
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 20(2), 113-124, 2012, Refereed

Extended Euclidean Algorithm and CRT Algorithm
Hiroyuki Okazaki, Yoshiki Aoki,Yasunari Shidama
Formalized Mathematics, 20(2), 175-179, 2012, Refereed

Quotient Module of Z-module
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 20(3), 205-214, 2012, Refereed

Posterior Probability on Finite Set
Hiroyuki Okazaki
Formalized Mathematics, 20(4), 257-263, 2012, Refereed

Isomorphisms of Direct Products of Finite Cyclic Groups
Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 20(4), 343-347, 2012, Refereed

Free Z-module
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 20(4), 275-280, 2012, Refereed

Banach's Continuous Inverse Theorem and Closed Graph Theorem
Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 20(4), 271-274, 2012, Refereed

Formalization Verification of DES Using the Mizar Proof Checker
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
2011 International Conference on Foundations of Computer Science, 63-68, Jul. 2011, Refereed

Normal Subgroup of Product of Groups
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
Formalized Mathematics, 19(1), 23-26, 2011, Refereed

More on Continuous Functions on Normed Linear Spaces
Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama
Formalized Mathematics, 19(1), 45-49, 2011, Refereed

Cartesian Products of Family of Real Linear Spaces
Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama
Formalized Mathematics, 19(1), 51-59, 2011, Refereed

Formalization of Integral Linear Space
Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama
Formalized Mathematics, 19(1), 61-64, 2011, Refereed

Differentiable Functions into Real Normed Spaces
Hiroyuki Okazaki, Noboru Endou, Keiko Narita and Yasunari Shidama
Formalized Mathematics, 19(2), 69-72, 2011, Refereed

Banach Algebra of Bounded Complex-Valued Functionals
Katuhiko Kanazashi, Hiroyuki Okazaki and Yasunari Shidama
Formalized Mathematics, 19(2), 121-126, 2011, Refereed

Set of Points on Elliptic Curve in Projective Coordinates
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 19(3), 131-138, 2011, Refereed

Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker
Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
2010 International Conference on Foundations of Computer Science, Jul. 2010, Refereed

Probability Measure on Discrete Spaces and Algebra of Real Valued Random Variables
Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 18(4), 213-217, 2010, Refereed

Hopf Extension Theorem of Measure
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 17(2), 157-162, 2009, Refereed

Probability on Finite and Discrete Set and Uniform Distribution
Hiroyuki Okazaki
Formalized Mathematics, 17(2), 173-178, 2009, Refereed

Probability on Finite Set and Real-Valued Random Variables
Hiroyuki Okazaki,Yasunari Shidama
Formalized Mathematics, 17(2), 129-136, 2009, Refereed

Properties of Primes and Multiplicative Group of a Field
Kenichi Arai,Hiroyuki Okazaki
Formalized Mathematics, 17(2), 151-155, 2009, Refereed

Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*
Hiroyuki Okazaki,Yasunari Shidama
Formalized Mathematics, 16(2), 103-107, 2008, Refereed

Preliminary Study on a Watermarking Scheme Using Background Pattern to Protect Printed Documents
Katsuki Kobayashi,Heman Aguirre,Hiroyuki Okazaki,Kiyoshi Tanaka
Journal of Signal Processing, 11(4), 337-340, 2007, Refereed

A Watermarking Scheme using Background Pattern to Protect Printed Documents
Katsuki Kobayashi, Kiyoshi Tanaka, Hernan Aguirre, Hiroyuki Okazaki, Hisayoshi Kunimune,Katsumi Wasaki, Masaaki Niimura, Yasushi Fuwa
Proc. International Workshop on Nonlinear Circuits and Signal Processing (NCSP 2007), 2007, Refereed

An evolutionary multiobjective approach to design highly non-linear Boolean functions
Hernan E. Aguirre, Hiroyuki Okazaki, Yasushi Fuwa
Genetic and Evolutionary Computation Conference (GECCO 2007), 749-756, 2007, Refereed

Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers
Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama,Hiroyuki Okazaki
Formalized Mathematics, 15(4), 231-235, 2007, Refereed

ヴェイユペアリングを用いた署名者の関連付けが可能なグループ署名方式
岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
電子情報通信学会論文誌, J87-A(No.4), 563～568, 2004, Refereed

合成数Ｐ＾２Ｑの素因数分解に適した楕円曲線
岡崎 裕之, 境 隆一, 笠原 正雄
日本応用数理学会論文誌, Vol.12(No.4), 9～19, 2002, Refereed

Formal Definition of Probability and Probabilistic Function on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar.
Hiroyuki Okazaki, Yasunari Shidama,Yuichi Futa
2011 Joint Mathematics Meetings (JMM2011), (1067-94-740), 156, 09 Jan. 2011

Meta Ring Signature Scheme
H. Okazaki, R. Sakai and M.Kasahara
Cryptology ePrint Archive, (2005/310), 2005

リプレイ攻撃を含む通信データセットに対する機械学習を用いた異常検知
西浩志, 布田裕一, 岡崎裕之
信学技報(ICSS2023-49), 16 Nov. 2023

DDoS攻撃によるSnortの影響分析
鹿野湧生, 布田裕一, 岡崎裕之, 鈴木彦文
信学技報(ICSS2023-30), 16 Nov. 2023

ブラウザフィンガープリントを用いたリスクベース認証における有効な特徴点の分析
塚崎崇至, 布田裕一, 岡崎裕之, 鈴木彦文
信学技報(ICSS2023-16), 16 Nov. 2023

DDoS攻撃によるSnortと正規ユーザーへの影響分析
鹿野湧生, 布田裕一, 鈴木彦文, 岡崎裕之
信学技報(ICSS2023-65), 16 Nov. 2023

DNSログを用いたDNSキャッシュポイズニング攻撃検知手法のシミュレーション
田中健士朗, 布田裕一, 岡崎裕之, 鈴木彦文
信学技報(ICSS2023-64), 16 Nov. 2023

AES暗号処理装置に対する増分故障解析の攻撃検証と評価
玉川未蘭, 布田裕一, 三重野武彦, 岡崎裕之
信学技報(ICSS2023-56), 16 Nov. 2023

ブラウザフィンガープリントを用いた端末識別と特徴点の考察
塚崎崇至, 布田裕一, 岡崎裕之, 鈴木彦文
信学技報(ICSS2023-53), 16 Nov. 2023

制御システムにおけるリプレイ攻撃に対するリアルタイム検知
西浩志, 布田裕一, 岡崎裕之
信学技報(ICSS2023-52), 16 Nov. 2023

研究不正調査の観点と機密性を主軸とした研究データ管理システムの提案
米倉 悠貴, 岡崎 裕之, 鈴木 彦文
情報処理学会 インターネットと運用技術 (IOT) 研究会(2023-IOT-63), 12 Sep. 2023

WPA2-Enterpriseに対するRaspberry Piを用いた2段階EvilTwin攻撃の提案
青山 諒仁, 鈴木 彦文, 岡崎 裕之
情報処理学会 インターネットと運用技術 (IOT) 研究会(2023-IOT-61), 11 May 2023

オープンサイエンスにおける研究公正を追求するNextCloudカスタムアプリケーションの有用性の検討とGakuNinRDMとの比較
藤岡碧志,岡崎裕之,鈴木彦文
情報処理学会インターネットと運用技術研究会, 08 Mar. 2022, 情報処理学会, Not invited

ブロックチェーン技術を用いたDNSキャッシュポイズニング検知方式の評価
田中 健士朗, 布田 裕一, 岡崎裕之, 鈴木彦文
電子情報通信学会ICSS研究会, 28 Feb. 2022, 電子情報通信学会, Not invited

SDNを用いたDDoS攻撃に対する防御機構構築
徳山 凌, 布田 裕一, 鈴木 彦文, 岡崎 裕之
2022年暗号と情報セキュリティシンポジウム（SCIS2022), 2022, 電子情報通信学会

SVMによる工場ネットワークにおける偽装通信の検知手法のリアルタイム性の検証
原田 雄基,布田 裕一, 岡崎 裕之
2022年暗号と情報セキュリティシンポジウム（SCIS2022), 2022, 電子情報通信学会

ProVerifによる検索可能暗号の形式的安全性検証について
鈴木 孝誠, 山本 博章, 三重野 武彦, 荒井 研一, 岡崎 裕之, 布田 裕一
2022年暗号と情報セキュリティシンポジウム（SCIS2022), 2022, 電子情報通信学会

情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築
大町 隆人, 岡崎 裕之, 布田 裕一, 村上 恭通
第8回 実践的IT教育シンポジウム rePiT2022, 2022, 日本ソフトウェア科学会, enPiT2 共催

SVMを用いた制御システムに対する偽装命令攻撃の検知
原田雄基, 布田裕一, 岡崎裕之
電子情報通信学会ISEC(研究会(ISEC2021-15), 19 Jul. 2021, Not invited

GakuninRDMとオンプレミスNextCloudとの連携による研究不正対策基盤の構築と運用の提案
藤岡碧志,岡崎裕之,鈴木彦文
情報処理学会インターネットと運用技術研究会(IOT54), 09 Jul. 2021, 情報処理学会, Not invited

制御システムにおける異常検知手法とデータセットの評価
原田 雄基, 布田 裕一, 岡崎 裕之
2021年暗号と情報セキュリティシンポジウム（SCIS2021), 2021, 電子情報通信学会, Not invited

ProVerifを用いたスポンジ構造の形式化
吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
2021年暗号と情報セキュリティシンポジウム（SCIS2021), 2021, 電子情報通信学会, Not invited

第四世代鍵共有方式ID-NIKS IVを利用した新たな認証アーキテクチャ
三重野 武彦, 岡崎 裕之, 布田 裕一, 村上 恭通
第44回情報理論とその応用シンポジウム(SITA2021), 2021, 電子情報通信学会

ProVerifを用いたMD変換の形式化
吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
日本応用数理学会 2020年度 年会, 2020, 日本応用数理学会

Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif
Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa
The 2019 International Conference on Security and Management (SAM'19), 2019

認証ログをライフログとして用いた安否確認システムの開発
森田 拓哉, アサノ デービッド, 鈴木 彦文, 岡崎 裕之
ICSS研究会 ICSS2019 6 27-30, 2019, 電子情報通信学会

Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif
Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa
The 2019 International Conference on Security and Management (SAM'19), 2019, World Congress in Computer Science, Computer Engineering, and Applied Computing

Suitable Models for Formal Security Verification of Cryptosystems in ProVerif
Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
The International Symposium on Information Theory and Its Applications(ISITA2018), 2018, IEICE

e-Learning System for Cryptography on Moodle
Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami
Internet Conference 2018 (IC2018), 2018, IPSJ

Privacy Preserving Logic Formula Calculation in Cloud
Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama
2016 IEEE Tenth International Conference on Semantic Computing (ICSC), 2016, IEEE

Formalization of Statistical Indistinguishability of Probability Distribution Ensembles in Mizar
Hiroyuki Okazaki
The International Symposium on Information Theory and Its Applications 517-521, 2016, IEICE

Content Development for Distance Education in Advanced University Mathematics Using Mizar
Takaya Ido, Hiroyuki Okazaki, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari Shidama
The 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government(EEE'13), 2013, World Congress in Computer Science, Computer Engineering, and Applied Computing

Formalization Description of Huffman Coding Trees Using the Mizar
Takaya Ido, Hiroyuki Okazaki, Yasunari Shidama
2013 International Conference on Foundations of Computer Science (FCS'13), 2013, World Congress in Computer Science, Computer Engineering, and Applied Computing

Formalization of Binary Fields and N-dimensional Binary Vector Spaces Using the Mizar Proof Checker
Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
2013 International Conference on Foundations of Computer Science (FCS'13), 2013, World Congress in Computer Science, Computer Engineering, and Applied Computing

Formalization of Gaussian Integers, Gaussian Rational Numbers, and Their Algebraic Structures with Mizar
Yuichi Futa, Daichi Mizushima,Hiroyuki Okazaki
2012 International Symposium on Information Theory and its Applications (ISITA2012), 2012, IEICE

Formalization Verification of AES Using the Mizar Proof Checker
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
2012 International Conference on Foundations of Computer Science (FCS'12), 2012, World Congress in Computer Science, Computer Engineering, and Applied Computing

Formalization Verification of Number Theoretic Algorithms Using the Mizar Proof Checker
Hiroyuki Okazaki, Yoshiki Aoki, Yasunari Shidama
2012 International Conference on Foundations of Computer Science (FCS'12), 2012, World Congress in Computer Science, Computer Engineering, and Applied Computing

Signature as Public Key Structured Cryptosystem and its Application
Kenichi Arai, Hiroyuki Okazaki
The 11th International Conference on Security and Management(SAM'12), 2012, World Congress in Computer Science, Computer Engineering, and Applied Computing

Mizarによる大学数学向け高度遠隔教育用コンテンツ開発
井戸 貴也,岡崎 裕之,山崎 浩,師玉 康成
教育工学研究会 ET2012 55 13～17, 2012, 電子情報通信学会

ProVerif を用いたPolicy-based Chameleon Hashによる修正可能なブロックチェーンの形式化
杉山 航平, 荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
日本応用数理学会 2021年度 年会, 07 Sep. 2011, 日本応用数理学会

Formalization Verification of DES Using the Mizar Proof Checker
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
2011 International Conference on Foundations of Computer Science, Jul. 2011, World Congress in Computer Science, Computer Engineering, and Applied Computing

Mizarによる数論アルゴリズムの形式化と検証
青木 祥希,岡崎 裕之,師玉 康成
ライフインテリジェンスとオフィス情報システム研究会 LOIS2011 38 69～74, 2011, 電子情報通信学会

Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker
Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
2010 International Conference on Foundations of Computer Science, Jul. 2010, World Congress in Computer Science, Computer Engineering, and Applied Computing

An evolutionary multiobjective approach to design highly non-linear Boolean functions
Hernan E. Aguirre, Hiroyuki Okazaki, Yasushi Fuwa
Genetic and Evolutionary Computation Conference (GECCO 2007), 2007, ACM

A watermarking scheme using background pattern to protect printed documents
Katsuki Kobayashi, Kiyoshi Tanaka, Hernan Aguirre, Hiroyuki Okazaki, Hisayoshi Kunimune,Katsumi Wasaki, Masaaki Niimura, Yasushi Fuwa
Proc. International Workshop on Nonlinear Circuits and Signal Processing (NCSP 2007), 2007, 信号処理学会

メタリング署名
岡崎 裕之, 境 隆一, 笠原 正雄
情報セキュリティ研究会 ISEC2005 36 201～204, 2005, 電子情報通信学会

リンク可能なグループ署名に関する考察
岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
情報セキュリティ研究会 ISEC2003 55 35～38, 2003, 電子情報通信学会

ペアリングを用いたグループ署名に関する2，3の考察
岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
情報セキュリティ研究会 ISEC2002 64 53～60, 2002, 電子情報通信学会

ベイユ・テイトペアリングを用いたグループ署名
境 隆一, 岡崎 裕之, 笠原 正雄
情報セキュリティ研究会 ISEC2001 108 105～108, 2001, 電子情報通信学会

ProVerifと Tamarin proverを開発支援プロセスへ導入するための考察
三重野 武彦, 岡崎 裕之, 荒井 研一, 布田 裕一
2024年暗号と情報セキュリティシンポジウム(SCIS2024)

ProVerifによるSSEのQ-INDとSSE-INDに関する検証と形式モデルの議論
鈴木 孝誠, 岡崎 裕之, 三重野 武彦, 山本 博章, 荒井 研一, 布田 裕一
2024年暗号と情報セキュリティシンポジウム(SCIS2024)

2001
The Institute of Electronics, Information and Communication Engineers

2002
Japan Society for Industrial and Applied Mathematics

2019
Japanese Society for Software Science and Technology

Formal verification of cryptosystem

Peer review
電子情報通信学会, 2006

Peer review
日本応用数理学会, 2006