The Power of Distributed Verifiers in Interactive Proofs

28 December 2018

Papers citing "The Power of Distributed Verifiers in Interactive Proofs"

30 / 30 papers shown

Title
Tight Bounds on the Message Complexity of Distributed Tree Verification S. Kutten Peter Robinson Ming Ming Tan 16 1 0 22 Jan 2024
Local certification of geometric graph classes Oscar Defrain Louis Esperet Aurélie Lagoutte Pat Morin Jean-Florent Raymond 13 2 0 28 Nov 2023
The Distributed Complexity of Locally Checkable Labeling Problems Beyond Paths and Trees Yi-Jun Chang 54 1 0 12 Nov 2023
Local Certification of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre Diego Ramírez-Romero I. Rapaport 17 2 0 09 Sep 2023
Local Certification of Majority Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson Guillaume Theyssier 19 1 0 04 Sep 2023
Distributed Certification for Classes of Dense Graphs Pierre Fraigniaud Frédéric Mazoit Pedro Montealegre I. Rapaport Ioan Todinca 26 10 0 26 Jul 2023
Efficient Distributed Decomposition and Routing Algorithms in Minor-Free Networks and Their Applications Yi-Jun Chang 26 5 0 10 Apr 2023
Distributed Quantum Interactive Proofs Franccois Le Gall Masayuki Miyamoto H. Nishimura 34 8 0 04 Oct 2022
Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications Franccois Le Gall Masayuki Miyamoto H. Nishimura 36 5 0 04 Oct 2022
Computing Power of Hybrid Models in Synchronous Networks Pierre Fraigniaud Pedro Montealegre Pablo Paredes I. Rapaport Martín Ríos-Wilson Ioan Todinca 32 2 0 04 Aug 2022
MPC for Tech Giants (GMPC): Enabling Gulliver and the Lilliputians to Cooperate Amicably Bar Alon M. Naor Eran Omri Uri Stemmer 24 5 0 11 Jul 2022
$Narrowing the LOCAL$\unicode{x2013}$CONGEST Gaps in Sparse Networks via Expander Decompositions$ Narrowing the LOCAL $\unicode{x2013}$ CONGEST Gaps in Sparse Networks via Expander Decompositions Yi-Jun Chang Hsin-Hao Su 50 10 0 17 May 2022
Distributed Interactive Proofs for the Recognition of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre I. Rapaport 19 4 0 06 Dec 2021
A Meta-Theorem for Distributed Certification Pierre Fraigniaud Pedro Montealegre I. Rapaport Ioan Todinca 22 18 0 06 Dec 2021
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 26 22 0 30 Jul 2021
Local certification of graphs on surfaces Louis Esperet Benjamin Léveque 14 21 0 08 Feb 2021
Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs Pedro Montealegre Diego Ramírez-Romero I. Rapaport 27 7 0 06 Dec 2020
Reactive Proof Labeling Schemes for Distributed Decision Jiaqi Chen Shlomi Dolev S. Kutten 8 0 0 04 Nov 2020
Twenty-Two New Approximate Proof Labeling Schemes (Full Version) Y. Emek Yuval Gil 8 9 0 28 Jul 2020
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
Shared vs Private Randomness in Distributed Interactive Proofs Pedro Montealegre Diego Ramírez-Romero I. Rapaport 6 7 0 29 Jun 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
Distributed Quantum Proofs for Replicated Data Pierre Fraigniaud Franccois Le Gall H. Nishimura A. Paz 11 13 0 24 Feb 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
Certifying Safety when Implementing Consensus Aurojit Panda 14 0 0 08 Mar 2019
Redundancy in Distributed Proofs Laurent Feuilloley Pierre Fraigniaud J. Hirvonen A. Paz M. Perry 22 28 0 08 Mar 2018
Proof-Labeling Schemes: Broadcast, Unicast and In Between B. Patt-Shamir M. Perry 14 21 0 23 Aug 2017
Error-Sensitive Proof-Labeling Schemes Laurent Feuilloley Pierre Fraigniaud 70 13 0 11 May 2017
A hierarchy of local decision Laurent Feuilloley Pierre Fraigniaud J. Hirvonen 14 38 0 29 Feb 2016