Quantum And Relativistic Protocols For Secure Multi-Party Computation
arXiv:0911.3814
Abstract
After a general introduction, the thesis is divided into four parts. In the first, we discuss the task of coin tossing, principally in order to highlight the effect different physical theories have on security in a straightforward manner, but, also, to introduce a new protocol for non-relativistic strong coin tossing. This protocol matches the security of the best protocol known to date while using a conceptually different approach to achieve the task. In the second part variable bias coin tossing is introduced. This is a variant of coin tossing in which one party secretly chooses one of two biased coins to toss. It is shown that this can be achieved with unconditional security for a specified range of biases, and with cheat-evident security for any bias. We also discuss two further protocols which are conjectured to be unconditionally secure for any bias. The third section looks at other two-party secure computations for which, prior to our work, protocols and no-go theorems were unknown. We introduce a general model for such computations, and show that, within this model, a wide range of functions are impossible to compute securely. We give explicit cheating attacks for such functions. In the final chapter we discuss the task of expanding a private random string, while dropping the usual assumption that the protocol's user trusts her devices. Instead we assume that all quantum devices are supplied by an arbitrarily malicious adversary. We give two protocols that we conjecture securely perform this task. The first allows a private random string to be expanded by a finite amount, while the second generates an arbitrarily large expansion of such a string.
The idea of using Bell inequalities to generate secure private randomness has recently seen some revived attention in the literature (see arXiv:0911.3427). This idea was introduced in Chapter 5 of my thesis (from p103) which I am making available here. A condensed version of this chapter is now available as arXiv:1011.4474. (150 pages, PhD thesis, University of Cambridge, submitted Dec 2006)
Cited by in corpus (62)
- Quantum Random Number Generators
- Quantum random number generation
- Free randomness can be amplified
- Self-testing of quantum systems: a review
- Certified randomness in quantum physics
- Device independent quantum random number generation
- A strong no-go theorem on the Wigner's friend paradox
- Security of practical private randomness generation
- Disproving the Peres conjecture: Bell nonlocality from bipartite bound entanglement
- Simple and tight device-independent security proofs
- Device-independent randomness expansion against quantum side information
- Semi-device independent random number expansion without entanglement
- Physical characterization of quantum devices from nonlocal correlations
- Device-independent Randomness Expansion with Entangled Photons
- Semi-device independent random number expansion protocol with n to 1 quantum random access codes
- Security and Composability of Randomness Expansion from Bell Inequalities
- Quantum Tagging: Authenticating Location via Quantum Information and Relativistic Signalling Constraints
- Loophole-free Bell test using electron spins in diamond: second experiment and additional analysis
- Genuine multipartite nonlocality is intrinsic to quantum networks
- Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
- Experimental demonstration of nonbilocality with truly independent sources and strict locality constraints
- Computing secure key rates for quantum key distribution with untrusted devices
- Device-Independent Secret Sharing and a Stronger Form of Bell Nonlocality
- Improved DIQKD protocols with finite-size analysis
- A Survey of Quantum Property Testing
- Sequential measurement-device-independent entanglement detection by multiple observers
- Device-independent randomness generation from several Bell estimators
- (Nearly) optimal P-values for all Bell inequalities
- Fast self-testing Quantum Random Number Generator based on homodyne detection
- Quantum anonymous veto: A set of new protocols
- One-Sided Device-Independent Certification of Unbounded Random Numbers
- True randomness from realistic quantum devices
- Entanglement witnessing by arbitrarily many independent observers recycling a local quantum shared state
- Device-independent test of causal order and relations to fixed-points
- Randomness in post-selected events
- Quantum randomness generation via orbital angular momentum modes crosstalk in a ring-core fiber
- Bell non-locality and Kochen-Specker contextuality: How are they connected?
- Infinite Randomness Expansion and Amplification with a Constant Number of Devices
- Device and semi-device independent random numbers based on non-inequality paradox
- Single Photon Randomness based on a Defect Center in Diamond
- Steering-based randomness certification with squeezed states and homodyne measurements
- A unified view on Hardy's paradox and the CHSH inequality
- Why Classical Certification is Impossible in a Quantum World
- Quantum non-locality, causality and mistrustful cryptography
- Deciding the existence of perfect entangled strategies for nonlocal games
- Secure positioning and non-local correlations
- Secure quantum weak oblivious transfer against individual measurements
- Semi-device independent randomness certification using Mermin's proof of Kochen-Specker contextuality
- An Operational Environment for Quantum Self-Testing
- From the problem of Future Contingents to Peres-Mermin square experiments: An introductory review to Contextuality
- Tight bound on the classical value of generalized Clauser-Horne-Shimony-Holt games
- Revisiting the admissibility of non-contextual hidden variable models in quantum mechanics
- Exposure of subtle multipartite quantum nonlocality
- Bounding the seed length of Miller and Shi's unbounded randomness expansion protocol
- 3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
- Robust Randomness Amplifiers: Upper and Lower Bounds
- Entangled systems are unbounded sources of nonlocal correlations and of certified random numbers
- The Binary-Outcome Detection Loophole
- Computational Perspectives on Bell Inequalities and Many-body Quantum Correlations
- Detection loophole attacks on semi-device-independent quantum and classical protocols
- Interplay between Quantumness, Randomness, and Selftesting
- Private Weakly-Random Sequences from Human Heart Rate for Quantum Amplification