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
Japanese Society for Software Science and Technology
, Japan Society for Industrial and Applied Mathematics
, The Institute of Electronics, Information and Communication Engineers