Quantum contextuality
Recently, quantum contextuality has been explored as a potential tool for quantum computing. In 2013, Robert Raussendorf showed that in general, any Mermin-like, inequality-free proof for quantum contextuality (such as the Kochen-Specker theorem) can be turned into a measurement-based quantum computation. More formally, "under quite natural assumptions for multi-qubit systems, MBQCs (measurement based quantum computations) which compute a non-linear Boolean function with sufficiently high success probability are contextual." Then in 2014, Mark Howard, et. al. showed that applying contextuality to magic state distillation (MSD) provides a means for arriving at universal, fault-tolerant quantum computing. MSD is a process by which a single qubit's polarization is increased along one of several "magic" directions and its state is considered "magic" once its polarization reaches a certain level. In particular, the group proved that states are non-contextual if and only if they cannot be used as inputs for magic state distillation. This provides a selection criteria for proper input states needed in MSD, and by extension aids in the efficient creation of magic states that, when coupled with fault-tolerant operators, allows for universal quantum computing. In both cases, contextuality has a potential advantage over other quantum computational techniques since contextuality itself can be thought of as a theory of information that is built directly into quantum mechanics. Comparatively, more traditional quantum phenomena such as entanglement and interference use delicate physical states which are incredibly susceptible to noise and very difficult to manipulate experimentally.
Quantum cryptography
Under the name of 'quantum tagging', the first position-based quantum schemes have been investigated in 2002 by Kent. A US-patent was granted in 2006. The notion of using quantum effects for location verification first appeared in the scientific literature in 2010. After several other quantum protocols for position verification have been suggested in 2010, Buhrman et al. claimed a general impossibility result: using an enormous amount of quantum entanglement (they use a doubly exponential number of EPR pairs, in the number of qubits the honest player operates on), colluding adversaries are always able to make it look to the verifiers as if they were at the claimed position. However, this result does not exclude the possibility of practical schemes in the bounded- or noisy-quantum-storage model (see above). Later Beigi and König improved the amount of EPR pairs needed in the general attack against position-verification protocols to exponential. They also showed that a particular protocol remains secure against adversaries who controls only a linear amount of EPR pairs. It is argued in that due to time-energy coupling the possibility of formal unconditional location verification via quantum effects remains an open problem.