Login / Signup
Short Lattice-based One-out-of-Many Proofs and Applications to Ring Signatures.
Muhammed F. Esgin
Ron Steinfeld
Amin Sakzad
Joseph K. Liu
Dongxi Liu
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
signature verification
database systems
formal proofs
databases
machine learning
artificial intelligence
computer vision
search algorithm
theorem prover
theorem proving
decision procedures
signature recognition
mathematical proofs