Interactive Distributed Proofs.

Gillat Kol, Rotem Oshman, Raghuvansh R. Saxena

Browse the full PODC paper archive.