Gillat Kol, Rotem Oshman, Raghuvansh R. Saxena. Interactive Distributed Proofs. In Calvin Newport, Idit Keidar, editors, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018. pages 255-264, ACM, 2018. [doi]
Abstract is missing.