Short Non-Interactive Cryptographic Proofs.

Joan Boyar Ivan Damgård René Peralta

Published in: J. Cryptol. (2000)

Keyphrases

user friendly
interactive video
computer graphics
real time
computer vision
user interaction
smart card
hash functions
formal proofs
neural network
cellular automata
security protocols
formal proof
encryption key