Proof-Labeling Schemes: Broadcast, Unicast and in Between

Boaz Patt-Shamir, Mor Perry. Proof-Labeling Schemes: Broadcast, Unicast and in Between. In Paul G. Spirakis, Philippas Tsigas, editors, Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings. Volume 10616 of Lecture Notes in Computer Science, pages 1-17, Springer, 2017. [doi]

Abstract

Abstract is missing.