Hiding in Plain Sight: Memory-tight Proofs via Randomness Programming.
Ashrujit GhoshalRiddhi GhosalJoseph JaegerStefano TessaroPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- lower bound
- programming language
- memory usage
- upper bound
- theorem proving
- memory space
- memory requirements
- computing power
- database
- worst case
- memory size
- data structure
- software engineering
- computer programs
- random access
- object oriented programming
- high level language
- theorem prover
- development environment
- main memory
- relational databases
- website