On Fast Verification of Hash Chains.
Dae Hyun YumJin Seok KimPil Joong LeeSung Je HongPublished in: CT-RSA (2010)
Keyphrases
- model checking
- face verification
- formal verification
- hash functions
- concurrent systems
- asynchronous circuits
- functional verification
- databases
- locality sensitive
- verification method
- formal analysis
- b tree
- face detection
- learning environment
- similarity measure
- feature extraction
- face recognition
- case study
- web services
- information retrieval
- data mining
- real world