Takahiro Kubota

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Private Information Retrieval

Quantum Evolutionary Algorithm

Automated Verification

Top Venues

J. Symb. Comput.

Publications

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada
Semi-automated verification of security proofs of quantum cryptographic protocols. J. Symb. Comput. 73 (2016)
Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani
Observational Equivalence Using Schedulers for Quantum Processes. QPL (2014)
Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada
Automated Verification of Equivalence on Quantum Cryptographic Protocols. SCSS (2013)
Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. UC (2011)