Practical Verification of MapReduce Computation Integrity via Partial Re-execution.

Eunjung Yoon Peng Liu

Published in: CoRR (2020)

Keyphrases

integrity constraints
real world
model checking
integrity verification
data sets
parallel computation
parallel execution
symbolic execution
high assurance
neural network
cloud computing
privacy preserving
practical application
efficient computation
data partitioning