Hardness vs. (Very Little) Structure in Cryptography: A Multi-Prover Interactive Proofs Perspective.

Gil Segev Ido Shahaf

Published in: ITC (2020)

Keyphrases

theorem prover
theorem proving
viewpoint
cellular automata
data mining
worst case
database
computational complexity
np complete
network structure
structural information
structural properties
inference rules
automated theorem proving