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