Interactive Proofs under Continual Memory Leakage.
Prabhanjan AnanthVipul GoyalOmkant PandeyPublished in: CRYPTO (2) (2014)
Keyphrases
- theorem proving
- memory requirements
- memory capacity
- limited memory
- neural network
- virtual reality
- user interaction
- learning environment
- case study
- user friendly
- information systems
- data visualization
- search engine
- computational power
- computing power
- random access
- information retrieval
- graphical interface
- data sets
- formal proofs