岡﨑裕之

オカザキヒロユキ | Okazaki Hiroyuki

所属機関・部署：
職名：准教授

研究分野 (2件)：情報学基礎論 , 情報セキュリティ

研究キーワード (2件)：暗号系 , 暗号・セキュリティ

競争的資金等の研究課題 (9件)：

全件表示

論文 (80件)：

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, 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

MISC (14件)：

講演・口頭発表等 (83件)：

オープンサイエンスにおける研究公正を追求するNextCloudカスタムアプリケーションの有用性の検討とGakuNinRDMとの比較
(情報処理学会インターネットと運用技術研究会 2022)
ブロックチェーン技術を用いたDNSキャッシュポイズニング検知方式の評価
(電子情報通信学会ICSS研究会 2022)
情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築
(第8回実践的IT教育シンポジウム rePiT2022 2022)
ProVerifによる検索可能暗号の形式的安全性検証について
(2022年暗号と情報セキュリティシンポジウム(SCIS2022) 2022)
SVMによる工場ネットワークにおける偽装通信の検知手法のリアルタイム性の検証
(2022年暗号と情報セキュリティシンポジウム(SCIS2022) 2022)

学歴 (3件)：

学位 (1件)：

経歴 (3件)：

受賞 (1件)：

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

所属学会 (3件)：

日本ソフトウェア科学会 , 日本応用数理学会 , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

岡﨑 裕之