6 citations · 14 across the 5 of their papers we have counts for
5 papers
Quantum Information-Flow Security: Noninterference and Access Control
Mingsheng Ying, Yuang Feng, Nengkun Yu
Quantum cryptography has been extensively studied in the last twenty years, but information-flow security of quantum computing and communication systems has been almost untouched i…
Optimal simulation of three-qubit gates
Nengkun Yu, Mingsheng Ying
In this paper, we study the optimal simulation of three-qubit unitary by using two-qubit gates. First, we give a lower bound on the two-qubit gates cost of simulating a multi-qubit…
Defining Quantum Control Flow
Mingsheng Ying, Nengkun Yu, Yuan Feng
A remarkable difference between quantum and classical programs is that the control flow of the former can be either classical or quantum. One of the key issues in the theory of qua…
Verification of Quantum Programs
Mingsheng Ying, Nengkun Yu, Yuan Feng +1
This paper develops verification methodology for quantum programs, and the contribution of the paper is two-fold: 1. Sharir, Pnueli and Hart [SIAM J. Comput. 13(1984)292-314] prese…
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in the modeling of systems and certain closed subs…