763 citations · 1.4k across the 17 of their papers we have counts for
17 papers
The Universal Composable Security of Quantum Message Authentication with Key Recyling
Patrick Hayden, Debbie W. Leung, Dominic Mayers
Barnum, Crepeau, Gottesman, Tapp, and Smith (quant-ph/0205128) proposed methods for authentication of quantum messages. The first method is an interactive protocol (TQA') based on…
Self-Testing of Quantum Circuits
Frederic Magniez, Dominic Mayers, Michele Mosca +1
We prove that a quantum circuit together with measurement apparatuses and EPR sources can be fully verified without any reference to some other trusted set of quantum devices. Our…
The Universal Composable Security of Quantum Key Distribution
M. Ben-Or, Michal Horodecki, D. W. Leung +2
The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper,…
General Security Definition and Composability for Quantum & Classical Protocols
Michael Ben-Or, Dominic Mayers
We generalize the universally composable definition of Canetti to the Quantum World. The basic idea is the same as in the classical world. The main contribution is that we unfold t…
Superselection rules and quantum protocols
Alexei Kitaev, Dominic Mayers, John Preskill
We show that superselection rules do not enhance the information-theoretic security of quantum cryptographic protocols. Our analysis employs two quite different methods. The first…
Self testing quantum apparatus
Dominic Mayers, Andrew Yao
We study a configuration of devices that includes (1) a source of some unknown bipartite quantum state that is claimed to be the Bell state and (2) two commuting but otherwis…