Server-Aided Verification: Theory and Practice.

Marc Girault David Lefranc

Published in: ASIACRYPT (2005)

Keyphrases

theoretical framework
theoretical insights
client server
artificial intelligence
database
real time
databases
website
bayesian networks
computational model
information theory
single server
service times
set theory