Rchr
J-GLOBAL ID:200901097646912514   Update date: Jan. 30, 2024

Okazaki Hiroyuki

オカザキ ヒロユキ | Okazaki Hiroyuki
Affiliation and department:
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 形式手法による暗号の安全性証明自動検証システムの開発
  • 2019 - IoTデバイス間相互認証方法の研究
Show all
Papers (78):
  • 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
  • Kazuhisa Nakasho,Hiroyuki Okazaki,Yasunari Shidama. Real Vector Space and Related Notions. Formalized Mathematics. 2021. 29. 3. 117-127
  • Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai. Formal Verification of Merkle-Damgård Construction in ProVerif. Proc of The International Symposium on Information Theory and Its Applications(ISITA2020). 2021. 602-606
  • Ryo Tokuyama, Yuichi Futa, Hikofumi Suzuki, Hiroyuki Okazaki. Virtual Environment for Analysis and Evaluation of DDoS Attacks. Lecture Notes in Networks and Systems. 2021. 227. 3. 459-468
more...
MISC (14):
Lectures and oral presentations  (83):
  • オープンサイエンスにおける研究公正を追求するNextCloudカスタムアプリケーションの有用性の検討とGakuNinRDMとの比較
    (情報処理学会インターネットと運用技術研究会 2022)
  • ブロックチェーン技術を用いたDNSキャッシュポイズニング検知方式の評価
    (電子情報通信学会ICSS研究会 2022)
  • 情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築
    (第8回 実践的IT教育シンポジウム rePiT2022 2022)
  • ProVerifによる検索可能暗号の形式的安全性検証について
    (2022年暗号と情報セキュリティシンポジウム(SCIS2022) 2022)
  • SVMによる工場ネットワークにおける偽装通信の検知手法のリアルタイム性の検証
    (2022年暗号と情報セキュリティシンポジウム(SCIS2022) 2022)
more...
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