A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano (UC, 2011)

Automated Verification of Equivalence on Quantum Cryptographic Protocols. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano; Hideki Sakurada (SCSS, 2013)

Semi-automated verification of security proofs of quantum cryptographic protocols. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano; Hideki Sakurada (J. Symb. Comput., 2016)

Single-Shot Secure Quantum Network Coding for General Multiple Unicast Network with Free Public Communication. - Go Kato; Masaki Owari; Masahito Hayashi (ICITS, 2017)

Secrecy and robustness for active attack in secure network coding. - Masahito Hayashi; Masaki Owari; Go Kato; Ning Cai 001 (ISIT, 2017)

Bipartite discrimination of independently prepared quantum states as a counterexample of a parallel repetition conjecture. - Seiseki Akibue; Go Kato (CoRR, 2018)

Reduction Theorem for Secrecy over Linear Network Code for Active Attacks. - Masahito Hayashi; Masaki Owari; Go Kato; Ning Cai 001 (Entropy, 2020)

Enumeration of Associative Magic Squares of Order 7. - Go Kato; Shin-ichi Minato (J. Inf. Process., 2020)

Advantage of the key relay protocol over secure network coding. - Go Kato; Mikio Fujiwara; Toyohiro Tsurumaru (CoRR, 2021)

Single-Shot Secure Quantum Network Coding for General Multiple Unicast Network With Free One-Way Public Communication. - Go Kato; Masaki Owari; Masahito Hayashi (IEEE Trans. Inf. Theory, 2021)

Information-theoretically secure equality-testing protocol with dispute resolution. - Go Kato; Mikio Fujiwara; Toyohiro Tsurumaru (ISIT, 2023)

Information Theoretically Secure Data Relay Using QKD Network. - Mikio Fujiwara; Go Kato; Masahide Sasaki (IEEE Access, 2024)