TY - RPRT TI - Simple and tight device-independent security proofs AU - Rotem Arnon AU - Renato Renner AU - Thomas Vidick PY - 2019 DO - 10.1137/18m1174726 UR - https://arxiv.org/abs/1607.01797 ID - 1607.01797 ER -