岡﨑 裕之 (オカザキ ヒロユキ)   

学術研究院(工学系)

大学院総合理工学研究科 

准教授 

学位

  • 博士(工学), 京都工芸繊維大学(日本)

研究キーワード

    暗号系, 暗号・セキュリティ

研究分野

  • 情報学基礎論, 形式検証
  • 情報セキュリティ, 情報セキュリティ(暗号理論)

メールアドレス

    okazaki★cs.shinshu-u.ac.jp

経歴

  • 2021年
    総合理工学研究科工学専攻電子情報システム工学分野(准教授)
  • 2007年 - 2021年
    信州大学大学院工学系研究科情報工学専攻(助教)
  • 2005年 - 2007年
    信州大学大学院工学系研究科情報工学専攻(助手)

学歴

  • 2001年 - 2004年, 京都工芸繊維大学, 工芸科学研究科, 情報・生産科学専攻
  • 1999年 - 2001年, 京都工芸繊維大学, 工芸科学研究科, 電子情報工学専攻
  • 1999年, 京都工芸繊維大学, 工芸学部, 電子情報工学科

受賞

  • 2019年
    主催:日本ソフトウェア科学会 実践的IT教育研究会 共催:文部科学省 成長分野を支える情報技術人材の育成拠点の形成事業 enPiT2, 第5回 実践的IT教育シンポジウム rePiT2019 in 愛媛 優秀教育実践賞

論文

  • 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年, 査読有り, 招待無し電子ジャーナル
  • 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年, 査読有り, 招待無し電子ジャーナル
  • Real Vector Space and Related Notions
    Kazuhisa Nakasho,Hiroyuki Okazaki,Yasunari Shidama
    Formalized Mathematics, 29(3), 117-127, 2021年, 査読有り電子ジャーナル
  • Finite Dimensional Real Normed Spaces are Proper Metric Spaces
    Kazuhisa Nakasho, Hiroyuki Okazaki
    Formalized Mathematics, 29(4), 177-186, 2021年, 査読有り電子ジャーナル
  • The 3-Fold Product Space of Real Normed Spaces and its Properties
    Hiroyuki Okazaki, Kazuhisa Nakasho
    Formalized Mathematics, 29(4), 245-253, 2021年, 査読有り電子ジャーナル
  • 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教育化の課題について
    岡崎 裕之, 紫村 彰吾,宮本 樹,渡邊 樹,布田 裕一,村上 恭通
    コンピュータソフトウェア, 37(1), 99-113, 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), 23-29, 2019年, 査読有り
  • 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年, 査読有りWebofScienceリポジトリ電子ジャーナル
  • Operations of Points on Elliptic Curve in Affine Coordinates
    Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 27(3), 315-320, 2019年, 査読有りWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り電子ジャーナル
  • Binary Representation of Natural Numbers
    Hiroyuki Okazaki
    Formalized Mathematics, 26(3), 223-229, 2018年, 査読有りWebofScienceリポジトリ電子ジャーナル
  • Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar
    Hiroyuki Okazaki, Yuichi Futa
    2016 International Conference on Information and Knowledge Management (CIKM) FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016, 117-131, 2016年, 査読有り
  • Formalization of Statistical Indistinguishability of Probability Distribution Ensembles in Mizar
    Hiroyuki Okazaki
    The International Symposium on Information Theory and Its Applications, 517-521, 2016年, 査読有りリポジトリ
  • Torsion Part of ℤ-module
    Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 23(4), 297-307, 2016年, 査読有りWebofScience電子ジャーナル
  • Algebra of Polynomially Bounded Sequences and Negligible Functions
    Hiroyuki Okazaki
    Formalized Mathematics, 23(4), 371-378, 2016年, 査読有りWebofScience電子ジャーナル
  • Conservation Rules of Direct Sum Decomposition of Groups
    Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 24(1), 81-94, 2016年, 査読有りWebofScience電子ジャーナル
  • 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年, 査読有り電子ジャーナル
  • Definition and Properties of Direct Sum Decomposition of Groups
    Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 23(1), 15-27, 2015年, 査読有りWebofScience電子ジャーナル
  • Matrix of Z-module
    Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 23(1), 29-49, 2015年, 査読有りWebofScience電子ジャーナル
  • Equivalent Expressions of Direct Sum Decomposition of Groups
    Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
    Formalized Mathematics, 23(1), 67-73, 2015年, 査読有りWebofScience電子ジャーナル
  • Polynomially Bounded Sequences and Polynomial Sequences
    Hiroyuki Okazaki, Yuichi Futa
    Formalized Mathematics, 23(3), 205-213, 2015年, 査読有りWebofScience電子ジャーナル
  • 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年, 査読有りWebofScience電子ジャーナル
  • Difference of Function on Vector Space over F
    Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki
    Formalized Mathematics, 22(3), 265-270, 2014年, 査読有りWebofScience電子ジャーナル
  • Torsion Z-module and Torsion-free Z-module
    Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
    Formalized Mathematics, 22(4), 271-283, 2014年, 査読有りWebofScience電子ジャーナル
  • 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, 2013年08月, 査読有りリポジトリ電子ジャーナル
  • 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, 2013年02月, 査読有りWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り
  • 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年, 査読有り
  • 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年, 査読有り
  • The C^k Space
    Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 21(1), 25-31, 2013年, 査読有りWebofScience電子ジャーナル
  • Random Variables and Product of Probability Spaces
    Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 21(1), 33-39, 2013年, 査読有りWebofScience電子ジャーナル
  • Isomorphisms of Direct Products of Finite Commutative Groups
    Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
    Formalized Mathematics, 21(1), 65-74, 2013年, 査読有りWebofScience電子ジャーナル
  • N-dimensional Binary Vector Spaces
    Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 21(2), 75-81, 2013年, 査読有りWebofScience電子ジャーナル
  • Constructing Binary Huffman Tree
    Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
    Formalized Mathematics, 21(2), 133-143, 2013年, 査読有りWebofScience電子ジャーナル
  • Gaussian Integers
    Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama
    Formalized Mathematics, 21(2), 115-125, 2013年, 査読有りWebofScience電子ジャーナル
  • Formalization of the Advanced Encryption Standard. Part I
    Kenichi Arai, Hiroyuki Okazaki
    Formalized Mathematics, 21(3), 171-184, 2013年, 査読有りWebofScience電子ジャーナル
  • Double Sequences and Limits
    Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 21(3), 163-170, 2013年, 査読有りWebofScience電子ジャーナル
  • 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年, 査読有りWebofScience電子ジャーナル
  • Submodule of free Z-module
    Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 21(4), 273-282, 2013年, 査読有りWebofScience電子ジャーナル
  • 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年, 査読有りリポジトリ
  • 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年, 査読有り
  • 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年, 査読有り
  • 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年, 査読有り
  • Operations of Points on Elliptic Curve in Projective Coordinates
    Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
    Formalized Mathematics, 20(1), 87-95, 2012年, 査読有りWebofScience電子ジャーナル
  • Z-modules
    Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 20(1), 47-59, 2012年, 査読有りWebofScience電子ジャーナル
  • Functional Space C(ω), C0(ω)
    Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 20(1), 15-22, 2012年, 査読有りWebofScience電子ジャーナル
  • Formalization of the Data Encryption Standard
    Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 20(2), 125-146, 2012年, 査読有りWebofScience電子ジャーナル
  • Higher-Order Partial Differentiation
    Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 20(2), 113-124, 2012年, 査読有りWebofScience電子ジャーナル
  • Extended Euclidean Algorithm and CRT Algorithm
    Hiroyuki Okazaki, Yoshiki Aoki,Yasunari Shidama
    Formalized Mathematics, 20(2), 175-179, 2012年, 査読有りWebofScience電子ジャーナル
  • Quotient Module of Z-module
    Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 20(3), 205-214, 2012年, 査読有りWebofScience電子ジャーナル
  • Posterior Probability on Finite Set
    Hiroyuki Okazaki
    Formalized Mathematics, 20(4), 257-263, 2012年, 査読有りWebofScience電子ジャーナル
  • Isomorphisms of Direct Products of Finite Cyclic Groups
    Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 20(4), 343-347, 2012年, 査読有りWebofScience電子ジャーナル
  • Free Z-module
    Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 20(4), 275-280, 2012年, 査読有りWebofScience電子ジャーナル
  • Banach's Continuous Inverse Theorem and Closed Graph Theorem
    Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 20(4), 271-274, 2012年, 査読有りWebofScience電子ジャーナル
  • 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, 2011年07月, 査読有り
  • Normal Subgroup of Product of Groups
    Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
    Formalized Mathematics, 19(1), 23-26, 2011年, 査読有りWebofScience電子ジャーナル
  • More on Continuous Functions on Normed Linear Spaces
    Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama
    Formalized Mathematics, 19(1), 45-49, 2011年, 査読有りWebofScience電子ジャーナル
  • Cartesian Products of Family of Real Linear Spaces
    Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama
    Formalized Mathematics, 19(1), 51-59, 2011年, 査読有りWebofScience電子ジャーナル
  • Formalization of Integral Linear Space
    Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama
    Formalized Mathematics, 19(1), 61-64, 2011年, 査読有りWebofScience電子ジャーナル
  • Differentiable Functions into Real Normed Spaces
    Hiroyuki Okazaki, Noboru Endou, Keiko Narita and Yasunari Shidama
    Formalized Mathematics, 19(2), 69-72, 2011年, 査読有りWebofScience電子ジャーナル
  • Banach Algebra of Bounded Complex-Valued Functionals
    Katuhiko Kanazashi, Hiroyuki Okazaki and Yasunari Shidama
    Formalized Mathematics, 19(2), 121-126, 2011年, 査読有りWebofScience電子ジャーナル
  • Set of Points on Elliptic Curve in Projective Coordinates
    Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 19(3), 131-138, 2011年, 査読有りWebofScience電子ジャーナル
  • 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, 2010年07月, 査読有り
  • Probability Measure on Discrete Spaces and Algebra of Real Valued Random Variables
    Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 18(4), 213-217, 2010年, 査読有りWebofScience電子ジャーナル
  • Hopf Extension Theorem of Measure
    Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 17(2), 157-162, 2009年, 査読有りWebofScience電子ジャーナル
  • Probability on Finite and Discrete Set and Uniform Distribution
    Hiroyuki Okazaki
    Formalized Mathematics, 17(2), 173-178, 2009年, 査読有りWebofScience電子ジャーナル
  • Probability on Finite Set and Real-Valued Random Variables
    Hiroyuki Okazaki,Yasunari Shidama
    Formalized Mathematics, 17(2), 129-136, 2009年, 査読有りWebofScience電子ジャーナル
  • Properties of Primes and Multiplicative Group of a Field
    Kenichi Arai,Hiroyuki Okazaki
    Formalized Mathematics, 17(2), 151-155, 2009年, 査読有りWebofScience電子ジャーナル
  • Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*
    Hiroyuki Okazaki,Yasunari Shidama
    Formalized Mathematics, 16(2), 103-107, 2008年, 査読有りWebofScience電子ジャーナル
  • 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年, 査読有り
  • 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年, 査読有り
  • 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年, 査読有り
  • 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年, 査読有りWebofScience電子ジャーナル
  • ヴェイユペアリングを用いた署名者の関連付けが可能なグループ署名方式
    岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
    電子情報通信学会論文誌, J87-A(No.4), 563~568, 2004年, 査読有り
  • 合成数P^2Qの素因数分解に適した楕円曲線
    岡崎 裕之, 境 隆一, 笠原 正雄
    日本応用数理学会論文誌, Vol.12(No.4), 9~19, 2002年, 査読有り

MISC

  • 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, 2011年01月09日
  • Meta Ring Signature Scheme
    H. Okazaki, R. Sakai and M.Kasahara
    Cryptology ePrint Archive, (2005/310), 2005年

講演・口頭発表等

  • オープンサイエンスにおける研究公正を追求するNextCloudカスタムアプリケーションの有用性の検討とGakuNinRDMとの比較
    藤岡碧志,岡崎裕之,鈴木彦文
    情報処理学会インターネットと運用技術研究会, 2022年03月08日, 情報処理学会, 招待無し
  • ブロックチェーン技術を用いたDNSキャッシュポイズニング検知方式の評価
    田中 健士朗, 布田 裕一, 岡崎裕之, 鈴木彦文
    電子情報通信学会ICSS研究会, 2022年02月28日, 電子情報通信学会, 招待無し
  • SDNを用いたDDoS攻撃に対する防御機構構築
    徳山 凌, 布田 裕一, 鈴木 彦文, 岡崎 裕之
    2022年暗号と情報セキュリティシンポジウム(SCIS2022), 2022年, 電子情報通信学会
  • SVMによる工場ネットワークにおける偽装通信の検知手法のリアルタイム性の検証
    原田 雄基,布田 裕一, 岡崎 裕之
    2022年暗号と情報セキュリティシンポジウム(SCIS2022), 2022年, 電子情報通信学会
  • ProVerifによる検索可能暗号の形式的安全性検証について
    鈴木 孝誠, 山本 博章, 三重野 武彦, 荒井 研一, 岡崎 裕之, 布田 裕一
    2022年暗号と情報セキュリティシンポジウム(SCIS2022), 2022年, 電子情報通信学会
  • 情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築
    大町 隆人, 岡崎 裕之, 布田 裕一, 村上 恭通
    第8回 実践的IT教育シンポジウム rePiT2022, 2022年, 日本ソフトウェア科学会, enPiT2 共催
  • SVMを用いた制御システムに対する偽装命令攻撃の検知
    原田雄基, 布田裕一, 岡崎裕之
    電子情報通信学会ISEC(研究会(ISEC2021-15), 2021年07月19日, 招待無し
  • GakuninRDMとオンプレミスNextCloudとの連携による研究不正対策基盤の構築と運用の提案
    藤岡碧志,岡崎裕之,鈴木彦文
    情報処理学会インターネットと運用技術研究会(IOT54), 2021年07月09日, 情報処理学会, 招待無し
  • 制御システムにおける異常検知手法とデータセットの評価
    原田 雄基, 布田 裕一, 岡崎 裕之
    2021年暗号と情報セキュリティシンポジウム(SCIS2021), 2021年, 電子情報通信学会, 招待無し
  • ProVerifを用いたスポンジ構造の形式化
    吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
    2021年暗号と情報セキュリティシンポジウム(SCIS2021), 2021年, 電子情報通信学会, 招待無し
  • 第四世代鍵共有方式ID-NIKS IVを利用した新たな認証アーキテクチャ
    三重野 武彦, 岡崎 裕之, 布田 裕一, 村上 恭通
    第44回情報理論とその応用シンポジウム(SITA2021), 2021年, 電子情報通信学会
  • ProVerifを用いたMD変換の形式化
    吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
    日本応用数理学会 2020年度 年会, 2020年, 日本応用数理学会
  • DRDoS攻撃の分析及び検証のための仮想環境構築
    徳山 凌,布田 裕一,鈴木 彦文,岡崎 裕之
    2020年暗号と情報セキュリティシンポジウム(SCIS2020), 2020年, 電子情報通信学会
  • ProVerifを用いたMD変換の形式化
    吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
    2020年暗号と情報セキュリティシンポジウム(SCIS2020), 2020年, 電子情報通信学会
  • 協調型DNSによるキャッシュポイズニングの検知
    高橋 幸宏,布田 裕一,岡崎 裕之,鈴木 彦文
    2020年暗号と情報セキュリティシンポジウム(SCIS2020), 2020年, 電子情報通信学会
  • モデル検査器ProVerifによるDES暗号の形式化
    磯貝 百恵,岡崎 裕之,荒井 研一,布田 裕一,三重野武彦
    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年
  • ProVerifを用いたCT及びブロックチェーンの形式化
    荒井 研一, 岡崎 裕之, 布田 裕一
    2019年 暗号と情報セキュリティシンポジウム, 2019年, 電子情報通信学会
  • 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について
    紫村 彰吾, 岡崎 裕之, 宮本 樹, 渡邊 樹, 布田 裕一, 村上 恭通
    第5回 実践的IT教育シンポジウム rePiT2019 in 愛媛, 2019年, 日本ソフトウェア科学会, enPiT2 共催
  • 認証ログをライフログとして用いた安否確認システムの開発
    森田 拓哉, アサノ デービッド, 鈴木 彦文, 岡崎 裕之
    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
  • ブロックチェーン技術を用いたDNSキャッシュポイズニング対策の検討
    高橋 幸宏,布田 裕一,岡﨑 裕之,鈴木 彦文
    信学技報,ISEC2019-78, 2019年, 電子情報通信学会
  • 決定木を用いたUTMログ解析によるDDoS攻撃検知の試み
    藤岡 碧志,岡崎 裕之,鈴木 彦文
    信学技報,NS2019-123 19-25, 2019年, 電子情報通信学会
  • LLLアルゴリズムを用いたUTMトラフィックログの解析
    森田 拓哉,鈴木 彦文, 岡崎 裕之
    信学技報,NS2019-124 27-30, 2019年, 電子情報通信学会
  • Mizarによる離散確率分布の統計的識別不能性の形式化
    岡崎 裕之, 布田 裕一, 師玉 康成
    日本応用数理学会 2019年度 年会 予稿集, 2019年, 日本応用数理学会
  • 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
  • ProVerifを用いたCTの形式化
    荒井 研一, 岡崎 裕之, 布田 裕一
    2018年 暗号と情報セキュリティシンポジウム, 2018年, 電子情報通信学会
  • ProVerif を 用いたTLS1.3ハンドシェイクプロ トコルの形式検証
    荒井 研一, 岡崎 裕之, 布田 裕一
    日本応用数理学会2018年度年会, 2018年, 日本応用数理学会, 招待有り
  • 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
  • Moodleを用いたProverifのeラーニングシステム
    渡邊 樹,宮本 樹,紫村彰吾,岡崎裕之,布田裕一,村上恭通
    第41回情報理論とその応用シンポジウム(SITA2018), 2018年, 電子情報通信学会
  • ProVerifにおけるphaseについて
    荒井 研一, 岡崎 裕之, 布田 裕一
    2017年 暗号と情報セキュリティシンポジウム, 2017年, 電子情報通信学会
  • 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
  • Proverifを用いた暗号プリミティブの形式化
    岡崎 裕之,荒井 研一
    2016年 暗号と情報セキュリティシンポジウム, 2016年, 電子情報通信学会
  • ProVerifでの形式化における技術的な注意点について
    荒井 研一, 岡崎 裕之
    日本応用数理学会2016年度年会, 2016年, 日本応用数理学会
  • Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar
    Hiroyuki Okazaki, Yuichi Futa
    2016 International Conference on Information and Knowledge Management (CIKM) FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016, 2016年, CEUR Workshop Proceedings
  • Mizarによる多項式オーダー関数の形式化
    岡崎裕之, 布田裕一, 師玉康成
    2015年 暗号と情報セキュリティシンポジウム, 2015年, 電子情報通信学会
  • MizarによるProbability Distribution Ensemble の形式定義について
    岡崎 裕之, 布田 裕一
    日本応用数理学会2015年度年会, 2015年, 日本応用数理学会
  • Negligibleの形式定義に関する考察
    岡崎 裕之, 布田 裕一
    2014年 暗号と情報セキュリティシンポジウム, 2014年, 電子情報通信学会
  • 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
  • 符号化の形式記述についての考察
    岡崎裕之, 師玉康成
    2013年 暗号と情報セキュリティシンポジウム, 2013年, 電子情報通信学会
  • 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年, 電子情報通信学会
  • 形式化数学記述言語 Mizar による楕円曲線の形式化
    水島大地, 布田裕一, 岡崎裕之
    2012年 暗号と情報セキュリティシンポジウム, 2012年, 電子情報通信学会
  • Mizarによる数論アルゴリズムの形式化と検証
    青木祥希, 岡崎裕之, 師玉康成
    2012年 暗号と情報セキュリティシンポジウム, 2012年, 電子情報通信学会
  • Mizarによる離散確率の形式化についての考察
    岡崎裕之, 師玉康成
    日本応用数理学会2012年度年会, 2012年, 日本応用数理学会
  • ProVerif を用いたPolicy-based Chameleon Hashによる修正可能なブロックチェーンの形式化
    杉山 航平, 荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
    日本応用数理学会 2021年度 年会, 2011年09月07日, 日本応用数理学会
  • Formalization Verification of DES Using the Mizar Proof Checker
    Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
    2011 International Conference on Foundations of Computer Science, 2011年07月, World Congress in Computer Science, Computer Engineering, and Applied Computing
  • Mizarによる数論アルゴリズムの形式化と検証
    青木 祥希,岡崎 裕之,師玉 康成
    ライフインテリジェンスとオフィス情報システム研究会 LOIS2011 38 69~74, 2011年, 電子情報通信学会
  • Mizarによる有限かつ離散的な標本空間における確率の形式化
    岡崎 裕之,荒井 研一
    2011年 暗号と情報セキュリティシンポジウム, 2011年, 電子情報通信学会
  • Mizarによる素体上の楕円曲線の形式化
    布田裕一, 岡崎裕之, 師玉康成
    第 9 回「代数学と計算」研究集会, 2011年, 日本応用数理学会
  • 形式化数学記述言語 Mizar によるガウス整数環の形式化
    水島大地,布田裕一,岡崎裕之
    第34回情報理論とその応用シンポジウム(SITA2011), 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, 2010年07月, World Congress in Computer Science, Computer Engineering, and Applied Computing
  • 電力線搬送通信における攻撃手法の考察
    名取 諒, 岡崎 裕之
    2010年 暗号と情報セキュリティシンポジウム, 2010年, 電子情報通信学会
  • 形式化数学記述言語MizarによるDESの形式化
    小林 亮太, 荒井 研一, 岡崎 裕之, 師玉 康成
    2010年 暗号と情報セキュリティシンポジウム, 2010年, 電子情報通信学会
  • Mizarによる確率と分布の形式的定義
    岡崎裕之
    2009年 暗号と情報セキュリティシンポジウム, 2009年, 電子情報通信学会
  • ペアリングを用いた三者間Diffie-Hellman プロトコルの安全性検証
    清澤 勇貴,岡崎 裕之,荒井 研一
    2009年 暗号と情報セキュリティシンポジウム, 2009年, 電子情報通信学会
  • 署名公開鍵型公開鍵暗号方式に関する考察
    荒井 研一, 岡崎 裕之
    2009年 暗号と情報セキュリティシンポジウム, 2009年, 電子情報通信学会
  • 無線端末位置推定法Gomashioの改良
    武田 浩志 , 岡崎 裕之
    情報科学技術フォーラム講演論文集 8 4 383-386, 2009年, 情報処理学会
  • IPアドレスを持たないネットワーク機器との通信手法について
    清澤 勇貴,岡崎 裕之,荒井 研一,國宗 永佳,不破 泰
    2008年 暗号と情報セキュリティシンポジウム, 2008年, 電子情報通信学会
  • CryptoVerifのためのAuthenticated Encryptionの安全性の定式化に関する考察
    荒井 研一,岡崎 裕之,不破 泰
    2008年 暗号と情報セキュリティシンポジウム, 2008年, 電子情報通信学会
  • 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
  • メタ暗号系に関する考察
    岡崎裕之
    2007年 暗号と情報セキュリティシンポジウム, 2007年, 電子情報通信学会
  • 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年, 信号処理学会
  • 背景パターンを用いた印刷文書向け電子透かしの一手法
    小林 克樹,田中 清,エルナン アギレ,岡崎 裕之,國宗 永佳,和崎 克己,新村 正明,不破 泰
    2007年 暗号と情報セキュリティシンポジウム, 2007年, 電子情報通信学会
  • Mizarによる暗号技術教材の形式化記述について
    岡崎裕之
    日本Mizar学会秋季総会, 2006年, 日本Mizar学会
  • メタ署名に関する考察
    岡崎裕之
    2006年 暗号と情報セキュリティシンポジウム, 2005年, 電子情報通信学会
  • 匿名著作権署名
    岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
    2005年暗号と情報セキュリティ・シンポジウム, 2005年, 電子情報通信学会
  • メタリング署名
    岡崎 裕之, 境 隆一, 笠原 正雄
    情報セキュリティ研究会 ISEC2005 36 201~204, 2005年, 電子情報通信学会
  • 署名者同一性検証についての考察
    岡崎裕之
    第 6 回「代数学と計算」, 2005年, 東京都立大学
  • ペアリングを用いた匿名著作権署名方式に関する2,3の考察
    岡崎裕之
    「数論アルゴリズムとその応用」研究部会第13回研究集会, 2004年, 日本応用数理学会
  • ヴェイユペアリングを用いたグループ署名
    岡崎 裕之, 境 隆一, 柴山 潔,笠原 正雄
    第5回「代数学と計算」研究集会, 2003年, 東京都立大学
  • リンク可能なグループ署名に関する考察
    岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
    情報セキュリティ研究会 ISEC2003 55 35~38, 2003年, 電子情報通信学会
  • ペアリングを用いた効率のよいグループ署名
    岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
    2003年暗号と情報セキュリティ・シンポジウム, 2003年, 電子情報通信学会
  • ペアリングを用いたグループ署名に関する2,3の考察
    岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄
    情報セキュリティ研究会 ISEC2002 64 53~60, 2002年, 電子情報通信学会
  • ペアリングを用いたグループ署名
    岡崎 裕之, 境 隆一, 笠原 正雄
    2002年暗号と情報セキュリティ・シンポジウム 14B-2, 2002年, 電子情報通信学会
  • ベイユ・テイトペアリングを用いたグループ署名
    境 隆一, 岡崎 裕之, 笠原 正雄
    情報セキュリティ研究会 ISEC2001 108 105~108, 2001年, 電子情報通信学会
  • 乗算型公開鍵暗号に関する二,三の考察
    岡崎 裕之, 村上 恭通, 笠原 正雄
    2001年情報理論とその応用シンポジウム, 2001年, 情報理論とその応用
  • 合成数p^2q の素因数分解に適した楕円曲線に関する二、三の考察
    岡崎 裕之, 境 隆一, 笠原 正雄
    2001年暗号と情報セキュリティ・シンポジウム 14B-1, 2001年, 電子情報通信学会
  • ある種の素因数分解に適した楕円曲線に関する二,三の考察
    岡崎 裕之, 堀内 啓次, 境 隆一, 笠原 正雄
    2000年暗号と情報セキュリティ・シンポジウム, 2000年, 電子情報通信学会

所属学協会

  • 2019年
    日本ソフトウェア科学会
  • 2002年
    日本応用数理学会
  • 2001年
    電子情報通信学会

共同研究・競争的資金等の研究課題

  • IoTデバイス間相互認証方法の研究
    共同研究, エプソンアヴァシス株式会社
    2019年12月01日
  • 情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発
    科学研究費補助金, 基盤研究(C)
    2018年04月01日 - 2021年03月31日
  • 形式手法による暗号の安全性証明自動検証システムの開発
    科学研究費補助金, 基盤研究(C)
    2017年04月01日 - 2021年03月31日
  • MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
    科学研究費補助金, 基盤研究(B)
    2010年04月01日 - 2014年03月31日
  • センサネットワークの安全・安心を保証する情報セキュリティ技術の研究
    科学研究費補助金, 基盤研究(A)
    2009年04月01日 - 2015年03月31日
  • 自学自習型e-Learningにおける学生サポートシステムの開発に関する研究
    科学研究費補助金, 基盤研究(B)
    2007年04月01日 - 2011年03月31日
  • 形式的手法による暗号理論

学術貢献活動

  • 査読
    電子情報通信学会, 2006年
  • 査読
    日本応用数理学会, 2006年

その他

  • 情報処理安全確保支援士(登録番号 018816)
    2019年10月01日
  • 情報セキュリティマネージメント試験
    2016年05月16日
  • 情報セキュリティアドミニストレータ試験
    2004年12月16日

学部内委員会等

  • 2005年11月01日, 環境委員会, 情報工学科環境委員, 4
  • 内部監査委員会, 環境ISO内部監査員, 2