Login / Signup
Interactive Proofs under Continual Memory Leakage.
Prabhanjan Vijendra Ananth
Vipul Goyal
Omkant Pandey
Published in:
IACR Cryptol. ePrint Arch. (2014)
Keyphrases
</>
computer graphics
memory size
memory usage
memory requirements
computing power
limited memory
mathematical proofs
data mining
low memory
interactive video
interactive systems
decision procedures
past experience
theorem proving
theorem prover
user friendly
user interaction
data structure
artificial intelligence