Proofs on Encrypted Values in Bilinear Groups and an Application to Anonymity of Signatures.

Georg Fuchsbauer David Pointcheval

Published in: Pairing (2009)

Keyphrases

standard deviation
theorem proving
similar patterns
signature recognition
natural deduction
user defined
highly correlated
group members
location privacy
formal proof