Space-time tradeoffs for distributed verification

DOI10.1007/978-3-319-72050-0_4MaRDI QIDQ6827717zbMATH OpenFDO

Authors Rafail Ostrovsky, Mor Perry, Will Rosenbaum

Publication date 12 April 2018

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-72050-0_4

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Communication complexity, information complexity (68Q11) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(4)

• Local certification of local properties: tight bounds, trade-offs and new parameters
• Decreasing verification radius in local certification
• Local certification of local properties: tight bounds, trade-offs, and new parameters
• Distributed quantum proofs for replicated data

This page was built for publication: Space-time tradeoffs for distributed verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6827717)