Takahiro Kubota

According to our database, Takahiro Kubota authored at least 4 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Semi-automated verification of security proofs of quantum cryptographic protocols.

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada

J. Symb. Comput., 2016

2014

Observational Equivalence Using Schedulers for Quantum Processes.

Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

2013

Automated Verification of Equivalence on Quantum Cryptographic Protocols.

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2011

A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution.

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano

Proceedings of the Unconventional Computation - 10th International Conference, 2011