Expander-Based Cryptography Meets Natural Proofs.

Igor Carboni Oliveira Rahul Santhanam Roei Tell

Published in: ITCS (2019)

Keyphrases

cellular automata
artificial intelligence
decision making
wide range
theorem prover
database
real time
multimedia
website
lower bound
logic programs
information security
computer programs
encryption algorithms