Abstract: Interactive proofs are a type of verifiable computing that secures the integrity of computations. The need is increasing as more computations are outsourced to untrusted parties, e.g., cloud ...

Yet, she warns: "Most commonly, errors like misinterpretation of questions, poor conceptual understanding, errors in ...