32 citations · 76 across the 27 of their papers we have counts for
Showing 2018 · cs.DCShow all
2 papers · 2 filters
cs.DC2018
Local verification of global proofs
Laurent Feuilloley, Juho Hirvonen
In this work we study the cost of local and global proofs on distributed verification. In this setting the nodes of a distributed system are provided with a nondeterministic proof…
cs.DC2018
Redundancy in Distributed Proofs
Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen +2
Distributed proofs are mechanisms enabling the nodes of a network to collectivity and efficiently check the correctness of Boolean predicates on the structure of the network, or on…