Login / Signup
Hardness vs. (Very Little) Structure in Cryptography: A Multi-Prover Interactive Proofs Perspective.
Gil Segev
Ido Shahaf
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
theorem proving
theorem prover
real time
viewpoint
automated theorem proving
cellular automata
network structure
expert systems
worst case