Yasuhito Kawano

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 2

Top Topics

Phase Difference

Fourier Transform

Automated Verification

Insider Attacks

Top Venues

J. Symb. Comput.

ACM Commun. Comput. Algebra

Publications

Yasuhito Kawano, Hiroshi Sekigawa
Quantum Fourier transform over symmetric groups - improved result. J. Symb. Comput. 75 (2016)
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)
Yasuhito Kawano, Hiroshi Sekigawa
Quantum Fourier Transform over Symmetric Groups: Improved Result. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Yasuhito Kawano, Hiroshi Sekigawa
Quantum fourier transform over symmetric groups. ISSAC (2013)
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)
Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima
Synthesis of quantum circuits for d-level systems by using cosine-sine decomposition. Quantum Inf. Comput. 9 (5&6) (2009)
Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa
Efficient quantum circuits for approximating the Jones polynomial. Quantum Inf. Comput. 8 (5) (2008)
Shun Watanabe, Ryutaroh Matsumoto, Tomohiko Uyematsu, Yasuhito Kawano
Key rate of quantum key distribution with hashed two-way classical communication. ISIT (2007)
Yumi Nakajima, Yasuhito Kawano, Hiroshi Sekigawa
A new algorithm for producing quantum circuits using KAK decompositions. Quantum Inf. Comput. 6 (1) (2006)
Yasuhito Kawano, K. Kimura, Hiroshi Sekigawa, M. Noro, Kiyoshi Shirayanagi, M. Kitagawa, M. Ozawa
Existence of the Exact CNOT on a Quantum Computer with the Exchange Interaction. Quantum Inf. Process. 4 (2) (2005)
Yasuhiro Takahashi, Yasuhito Kawano, Masahiro Kitagawa
On the computational power of constant-depth quantum circuits with gates for addition. IEEE Congress on Evolutionary Computation (2003)