| 2024 | ISITA | Formal Security Verification for Searchable Symmetric Encryption Using ProVerif. | Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa, Hiroaki Yamamoto |
| 2021 | AINA | Virtual Environment for Analysis and Evaluation of DDoS Attacks. | Ryo Tokuyama, Yuichi Futa, Hikofumi Suzuki, Hiroyuki Okazaki |
| 2020 | ISITA | Formal Verification of Merkle-Damgrd Construction in ProVerif. | Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai |
| 2018 | ISITA | Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif. | Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai |
| 2016 | CIKM | Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar. | Hiroyuki Okazaki, Yuichi Futa |
| 2016 | ISITA | Formalization of statistical indistinguishability of probability distribution ensembles in Mizar. | Hiroyuki Okazaki |
| 2012 | ISITA | Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar. | Yuichi Futa, Daichi Mizushima, Hiroyuki Okazaki |
| 2007 | GECCO | An evolutionary multiobjective approach to design highly non-linear Boolean functions. | Hernn E. Aguirre, Hiroyuki Okazaki, Yasushi Fuwa |
| 1996 | NOMS | On the design and an implementation of broadband access management systems. | T. Kawagoe, H. Kawakami, K. Soga, K. Tanaka, Hiroyuki Okazaki, Satoshi Hasegawa |