We construct a 1-round delegation scheme (ie, argument-system) for every language
computable in time t= t (n), where the running time of the prover is poly (t) and the running …

Non-signaling strategies are a generalization of quantum strategies that have been studied
in physics over the past three decades. Recently, they have found applications in theoretical …

In this thesis, we study several extensions of the concept of interactive proofs. First, we
consider non-signaling multi-prover interactive proofs. Interacting with multiple non …