The main focus of practical quantum information is the creation, manipulation and detection of large-scale entangled quantum systems. In coming years, we will enter a new era of the so—called Noisy Intermediate-Scale Quantum (NISQ) devices operating with tens of qubits, a crucial milestone towards achieving an universal quantum computer. The main challenge to be addressed for these emerging devices is the verification problem to demonstrate quantum computational advantage. The research group of Borivoje Dakic studies this core problem from an information-theoretic perspective with the goal to provide new foundations and novel practical tools for verification of a genuine quantum hardware.