Rchr
J-GLOBAL ID：200901097646912514   Update date: Oct. 29, 2024

Okazaki Hiroyuki

オカザキ ヒロユキ | Okazaki Hiroyuki
Affiliation and department：
Shinshu University Graduate School of Science and Technology

About Shinshu University Graduate School of Science and Technology


Job title： Associate Professor
Research field  (2)： Information theory ,  Information security
Research keywords  (2)： Cryptology ,  Security
Research theme for competitive and other funds  (9)：
  • 2022 - 2026 ネットワークシステムのセキュリティで等価な仮想評価環境の構築
  • 2022 - 2026 形式手法を用いた数論アルゴリズムの設計支援システムの開発
  • 2018 - 2021 情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発
  • 2017 - 2021 Developing Automated formal Verification System for Cryptology
  • 2019 - IoTデバイス間相互認証方法の研究
Show all
Papers (81)：
  • Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa. How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif. IEEE Access. 2024. 12. 31605-31625
  • Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa. Formal Verification of Authenticated Encryption with Associated Data with Tamarin Prover. 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE). 2023
  • Hiroyuki Okazaki. On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors. Formalized Mathematics. 2023. 31. 1. 53-57
  • Hiroyuki Okazaki, Kazuhisa Nakasho. The 3-Fold Product Space of Real Normed Spaces and its Properties. Formalized Mathematics. 2021. 29. 4. 245-253
  • Kazuhisa Nakasho, Hiroyuki Okazaki. Finite Dimensional Real Normed Spaces are Proper Metric Spaces. Formalized Mathematics. 2021. 29. 4. 177-186
ｍore...
MISC (14)：
ｍore...
Lectures and oral presentations  (89)：
  • 制御システムにおけるリプレイ攻撃に対するリアルタイム検知
    (信学技報(ICSS2023-52) 2023)
  • ブラウザフィンガープリントを用いた端末識別と特徴点の考察
    (信学技報(ICSS2023-53) 2023)
  • AES暗号処理装置に対する増分故障解析の攻撃検証と評価
    (信学技報(ICSS2023-56) 2023)
  • DNSログを用いたDNSキャッシュポイズニング攻撃検知手法のシミュレーション
    (信学技報(ICSS2023-64) 2023)
  • オープンサイエンスにおける研究公正を追求するNextCloudカスタムアプリケーションの有用性の検討とGakuNinRDMとの比較
    (情報処理学会インターネットと運用技術研究会 2022)
ｍore...
Education (3)：
  • 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
Professional career (1)：
  • doctorate in engineering (Kyoto Institute of Technology(Japan))
Work history (3)：
  • 2021/04/01 - GraduateSchoolof Science and Technology, Shinshu University (Associate Professor)
  • 2007/04/01 - 2021/03/31 GraduateSchoolof Science and Technology, Shinshu University (Assistant Professor)
  • 2005/11/01 - 2007/03/31 Graduate School of Science and Technology, Shinshu University (Research Associate)
Awards (1)：
  • 2019/01/23 - 主催:日本ソフトウェア科学会 実践的IT教育研究会 共催:文部科学省 成長分野を支える情報技術人材の育成拠点の形成事業 enPiT2 第5回 実践的IT教育シンポジウム rePiT2019 in 愛媛 優秀教育実践賞
Association Membership(s) (3)：
Japanese Society for Software Science and Technology ,  Japan Society for Industrial and Applied Mathematics ,  The Institute of Electronics, Information and Communication Engineers
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM