One-out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin.

Jens Groth Markulf Kohlweiss

Published in: IACR Cryptol. ePrint Arch. (2014)

Keyphrases

theorem proving
secret sharing
secret key
secret sharing scheme
decision procedures
information flow
formal proof
theorem prover
private information
mathematical proofs
real time
equational theories
real world
data sets
credit card
search algorithm
multiscale
social networks
secret data
formal proofs
databases