Entanglement, that is, quantum correlations that do not have a classical counterpart, is a resource for quantum information processing. I provide an overview on the entanglement theory by focusing on the structure of entangled states. I also discuss the experimental verification of entangled states given assumptions made on sources and measurements.
Quantum position verification (QPV) is a cryptographic task in which the spatial location of an untrusted agent is certified using the principles of quantum mechanics and special relativity. The problem of QPV has deep connections to computational complexity and the AdS/CFT correspondence. In this talk I will introduce the general task of QPV and review some results. I will then turn to...
