1 paper
Ilya Merkulov, Rotem Arnon
We introduce a systematic approach for analyzing device-independent single-prover interactive protocols under computational assumptions. This is done by establishing an explicit co…