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

Jens Groth Markulf Kohlweiss

Published in: EUROCRYPT (2) (2015)

Keyphrases

theorem proving
theorem prover
secret sharing scheme
mathematical proofs
information flow
formal proofs
equational theories
secret key
decision procedures
visual cryptography
search algorithm
credit card
neural network
secret sharing
secret data
secret information
proof search
formal proof
video sequences