QIP2021 | Device-independent protocols from computational assumptions (Tony Metger)