Toward Practical and Unconditional Verification of Remote Computations.

Andrew J. Blumberg

Published in: HotOS (2011)

Keyphrases

real world
real time
information systems
practical application
databases
database
model checking
concurrent systems
cryptographic protocols
formal analysis
practical problems
multiscale
image processing
knowledge base
e learning
decision making
data mining