--
Hugo Demaret
(LISN, Galac)
summary: Local certification is interested in assigning labels (called certificates) to the vertices of a graph,
in order to certify a certain property about said graph, or the correctness of a data-structure distributed on
the graph. For the verification to be local, a vertex may only "see" its neighbourhood. A ...