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