Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols.

Ronald Cramer Ivan Damgård Berry Schoenmakers

Published in: CRYPTO (1994)

Keyphrases

partial knowledge
design process
database systems
image sequences
reinforcement learning
user interface
object tracking
theorem proving