A formal approach for secured risk analysis in information security management. - Kengo Zenitani (BESC, 2022)

A multi-objective cost-benefit optimization algorithm for network hardening. - Kengo Zenitani (Int. J. Inf. Sec., 2022)

A scalable algorithm for network reachability analysis with cyclic attack graphs. - Kengo Zenitani (J. Comput. Secur., 2023)

Attack graph analysis: An explanatory guide. - Kengo Zenitani (Comput. Secur., 2023)

From attack graph analysis to attack function analysis. - Kengo Zenitani (Inf. Sci., 2023)

Humanity's Last Exam. - Long Phan; Alice Gatti; Ziwen Han; Nathaniel Li; Josephina Hu; Hugh Zhang; Sean Shi; Michael Choi; Anish Agrawal; Arnav Chopra; Adam Khoja; Ryan Kim; et al. (CoRR, 2025)

Securing AI Systems: A Guide to Known Attacks and Impacts. - Naoto Kiribuchi; Kengo Zenitani; Takayuki Semitsu (CoRR, 2025)