Proofs of retrievability from linearly homomorphic structure-preserving signatures.
Xiao ZhangShengli LiuShuai HanPublished in: Int. J. Inf. Comput. Secur. (2019)
Keyphrases
- structure preserving
- privacy preserving
- dimensionality reduction
- theorem proving
- signature verification
- theorem prover
- prior art
- formal proofs
- signature recognition
- formal proof
- data integrity
- mathematical proofs
- genetic algorithm
- automated theorem provers
- equational theories
- cryptographic protocols
- signature scheme
- data exchange
- computer vision