Pseudorandomness with Proof of Destruction and Applications.

Amit Behera Zvika Brakerski Or Sattath Omri Shmueli

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

theorem prover
theorem proving
neural network
management system
formal proof
real time
social networks
computer vision
information systems
multimedia
high level
computer science
proof planning
complete axiomatization