Batch zero-knowledge proof and verification and its applications.

Kun Peng Colin Boyd Ed Dawson

Published in: ACM Trans. Inf. Syst. Secur. (2007)

Keyphrases

verification method
batch processing
neural network
model checking
face verification
identity verification
computer vision
formal analysis
test generation
asynchronous circuits