Yasuhito Kawano

According to our database, Yasuhito Kawano authored at least 11 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of four.
• 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

Quantum Fourier Transform over Symmetric Groups: Improved Result.

Yasuhito Kawano, Hiroshi Sekigawa

ACM Commun. Comput. Algebra, 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

Quantum fourier transform over symmetric groups.

Yasuhito Kawano, Hiroshi Sekigawa

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 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

2009

Synthesis of quantum circuits for d-level systems by using cosine-sine decomposition.

Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima

Quantum Inf. Comput., 2009

2008

Efficient quantum circuits for approximating the Jones polynomial.

Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa

Quantum Inf. Comput., 2008

2007

Key rate of quantum key distribution with hashed two-way classical communication.

Shun Watanabe, Ryutaroh Matsumoto, Tomohiko Uyematsu, Yasuhito Kawano

Proceedings of the IEEE International Symposium on Information Theory, 2007

2006

A new algorithm for producing quantum circuits using KAK decompositions.

Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa

Quantum Inf. Comput., 2006

2005

Existence of the Exact CNOT on a Quantum Computer with the Exchange Interaction.

Yasuhito Kawano, Kinji Kimura, Hiroshi Sekigawa, Masayuki Noro, Kiyoshi Shirayanagi, Masahiro Kitagawa, Masanao Ozawa

Quantum Inf. Process., 2005

2003

On the computational power of constant-depth quantum circuits with gates for addition.

Yasuhiro Takahashi, Yasuhito Kawano, Masahiro Kitagawa

Proceedings of the IEEE Congress on Evolutionary Computation, 2003