Identity-Based Extractable Hash Proofs and Their Applications.
Yu ChenZongyang ZhangDongdai LinZhenfu CaoPublished in: ACNS (2012)
Keyphrases
- hash functions
- signature scheme
- theorem proving
- theorem prover
- encryption scheme
- key management
- equational theories
- signcryption scheme
- formal proofs
- natural deduction
- hash table
- key distribution
- standard model
- mathematical proofs
- hashing algorithm
- decision procedures
- b tree
- information systems
- data sets
- provably secure
- locality sensitive
- tree structure
- knn
- data structure