Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions.

Riza Aditya Kun Peng Colin Boyd Ed Dawson Byoungcheon Lee

Published in: ACNS (2004)

Keyphrases

model checking
batch mode
discrete geometry
functional verification
information retrieval
continuous data
databases
artificial intelligence
computer vision
database systems
multiscale
state space
face verification
formal verification
asynchronous circuits
discrete version