Simple and tight device-independent security proofs

  title={Simple and tight device-independent security proofs},
  author={Rotem Arnon Friedman and Renato Renner and Thomas Vidick},
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