Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies | IEEE Conference Publication | IEEE Xplore