32 citations · 76 across the 27 of their papers we have counts for
Showing 2022 · cs.DCShow all
2 papers · 2 filters
cs.DC2022★ 1 cited
Lower bound for constant-size local certification
Virgina Ardévol Martínez, Marco Caoduro, Laurent Feuilloley +3
Given a network property or a data structure, a local certification is a labeling that allows to efficiently check that the property is satisfied, or that the structure is correct.…
cs.DC2022★ 1 cited
What can be certified compactly?
Nicolas Bousquet, Laurent Feuilloley, Théo Pierron
Local certification consists in assigning labels (called \emph{certificates}) to the nodes of a network to certify a property of the network or the correctness of a data structure…