Book and thesis
Papers
A reduction from an LWE problem to maximum independent set problems Scientific Reports 13 (1) (Sole-authored) 2023/05/02
Papers
Quantum Fourier transform over symmetric groups - improved result. Journal of Symbolic Computation 75,pp.219-243 (Co-authored) 2016
Papers
Semi-automated verification of security proofs of quantum cryptographic protocols. Journal of Symbolic Computation 73,pp.192-220 (Co-authored) 2016
Papers
Quantum Fourier Transform over Symmetric Groups: Improved Result. ACM Communications in Computer Algebra 48 (3/4),pp.127-129 (Co-authored) 2014
Papers
Automated Verification of Equivalence on Quantum Cryptographic Protocols. 5th International Symposium on Symbolic Computation in Software Science(SCSS),pp.64-69 (Co-authored) 2013
Papers
Quantum fourier transform over symmetric groups. International Symposium on Symbolic and Algebraic Computation(ISSAC),pp.227-234 (Co-authored) 2013
Papers
Theory of Quantum Computation, Communication, and Cryptography, 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers TQC 7582 (Co-authored) 2013
Papers
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. Unconventional Computation - 10th International Conference(UC),pp.125-137 (Co-authored) 2011
Papers
Synthesis of quantum circuits for d-level systems by using cosine-sine decomposition. Quantum Information & Computation 9 (5&6),pp.423-443 (Co-authored) 2009
Papers
Efficient quantum circuits for approximating the Jones polynomial. Quantum Information & Computation,pp.489-500 (Co-authored) 2008
Papers
Theory of Quantum Computation, Communication, and Cryptography, Third Workshop, TQC 2008, Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers TQC (Co-authored) 2008
Papers
Key rate of quantum key distribution with hashed two-way classical communication. IEEE International Symposium on Information Theory(ISIT),pp.2601-2605 (Co-authored) 2007
Papers
A new algorithm for producing quantum circuits using KAK decompositions. Quantum Information & Computation,pp.67-80 (Co-authored) 2006
Papers
Existence of the Exact CNOT on a Quantum Computer with the Exchange Interaction. Quantum Information Processing,pp.65-85 (Co-authored) 2005
Papers
On the computational power of constant-depth quantum circuits with gates for addition. Proceedings of the IEEE Congress on Evolutionary Computation,pp.154-161 (Co-authored) 2003