Anonymous Single-Round Server-Aided Verification.

Elena Pagnin Aikaterini Mitrokotsa Keisuke Tanaka

Published in: LATINCRYPT (2017)

Keyphrases

database
model checking
client server
neural network
data structure
website
distributed systems