Randomizable Proofs and Delegatable Anonymous Credentials.
Mira BelenkiyJan CamenischMelissa ChaseMarkulf KohlweissAnna LysyanskayaHovav ShachamPublished in: CRYPTO (2009)
Keyphrases
- access control
- theorem prover
- digital signature scheme
- trust negotiation
- data sets
- theorem proving
- payment scheme
- learning algorithm
- computer programs
- mathematical proofs
- critical information
- formal proof
- formal proofs
- equational theories
- interactive theorem proving
- access control policies
- digital libraries
- neural network