Login / Signup
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