Redundancy in Distributed Proofs

Redundancy in Distributed Proofs

8 March 2018

Laurent Feuilloley

Pierre Fraigniaud

Papers citing "Redundancy in Distributed Proofs"

8 / 8 papers shown

Title
The Hardness of Local Certification of Finite-State Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson 19 0 0 19 Dec 2023
Locally Restricted Proof Labeling Schemes (Full Version) Y. Emek Yuval Gil S. Kutten 16 0 0 18 Aug 2022
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 22 17 0 12 Feb 2022
Local Certification of Graphs with Bounded Genus Laurent Feuilloley Pierre Fraigniaud Pedro Montealegre I. Rapaport É. Rémila Ioan Todinca 18 23 0 16 Jul 2020
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 18 28 0 12 May 2020
Introduction to local certification Laurent Feuilloley 22 31 0 28 Oct 2019
Trade-offs in Distributed Interactive Proofs P. Crescenzi Pierre Fraigniaud A. Paz 22 27 0 09 Aug 2019
The Power of Distributed Verifiers in Interactive Proofs M. Naor M. Parter E. Yogev 11 52 0 28 Dec 2018