Simple and tight device-independent security proofs

@article{Friedman2016SimpleAT,
  title={Simple and tight device-independent security proofs},
  author={Rotem Arnon Friedman and Renato Renner and Thomas Vidick},
  journal={CoRR},
  year={2016},
  volume={abs/1607.01797}
}
Proving security of device-independent (DI) cryptographic protocols has been regarded to be a complex and tedious task. In this work we show that a newly developed tool, the “entropy accumulation theorem” of Dupuis et al. [DFR16], can be effectively applied to give fully general proofs of DI security. At a high level our technique amounts to establishing a… CONTINUE READING