Sequential Aggregate Signatures with Lazy Verification from Trapdoor Permutations.

Kyle Brogle Sharon Goldberg Leonid Reyzin

Published in: IACR Cryptol. ePrint Arch. (2011)

Keyphrases

signature verification
formal verification
model checking
signature recognition
neural network
case study
probability distribution
face verification
sequential search
verification method
artificial intelligence
formal methods
formal analysis