Hiding in Plain Sight: Memory-Tight Proofs via Randomness Programming.
Ashrujit GhoshalRiddhi GhosalJoseph JaegerStefano TessaroPublished in: EUROCRYPT (2) (2022)
Keyphrases
- lower bound
- programming language
- upper bound
- memory usage
- memory requirements
- theorem proving
- computer programs
- mathematical proofs
- limited memory
- memory space
- decision procedures
- computer programming
- low memory
- high level
- theorem prover
- main memory
- formal proof
- worst case
- memory size
- formal proofs
- development environment
- programming environment
- computing power
- object oriented programming
- database applications
- object oriented
- computational complexity