Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications.

Michael O. Rabin Rocco A. Servedio Christopher Thorpe

Published in: LICS (2007)

Keyphrases

highly efficient
low cost
gray code
low latency
theorem proving
key management
security analysis
spread spectrum
sat solvers
high classification accuracy
real time
data structure
evolutionary algorithm
state space
simulated annealing