Cryptanalysis of Lattice-Based Sequentiality Assumptions and Proofs of Sequential Work.

Chris Peikert Yi Tang

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

Keyphrases

theorem prover
neural network
theorem proving
simplifying assumptions
natural deduction
artificial intelligence
search engine
information systems
database systems
computer programs
independence assumption
decision procedures