E.  Culf, Vidick, T., and Albert, V. V., ?Group coset monogamy games and an application to device-independent continuous-variable QKD?, 2022.