Login / Signup
Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership.
David Pointcheval
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
privacy preserving
signature verification
real time
real world
theorem proving
artificial intelligence
data exchange
data sets
image segmentation
feature space
operating system
theorem prover
decision procedures
formal proof
formal proofs
equational theories