Why quantum state verification cannot be both efficient and secure: a categorical approach. - Fabian Wiesner; Ziad Chaoui; Diana Kessler; Anna Pappa 002; Martti Karvonen (CoRR, 2024)