Using Randomizers for Batch Verification of ECDSA Signatures.
Sabyasachi KaratiAbhijit DasDipanwita Roy ChowdhuryPublished in: IACR Cryptol. ePrint Arch. (2012)
Keyphrases
- signature verification
- digital signature
- model checking
- skilled forgeries
- smart card
- batch mode
- signature recognition
- batch processing
- face verification
- false acceptance rate
- temporal logic
- verification method
- formal verification
- concurrent systems
- batch size
- asynchronous circuits
- databases
- document analysis
- formal methods
- public key
- information systems