An Efficient Verification of CL-LRSW Signatures and a Pseudonym Certificate System.

Marcin Slowik Marta Wszola

Published in: APKC@AsiaCCS (2017)

Keyphrases

signature verification
computationally efficient
model checking
database
learning algorithm
face recognition
similarity measure
dynamic time warping
formal analysis
concurrent systems