Nonuniform Indistinguishability and Unpredictability Hardcore Lemmas: New Proofs and Applications to Pseudoentropy.
Maciej SkorskiPublished in: IACR Cryptol. ePrint Arch. (2015)
Keyphrases
- theorem prover
- theorem proving
- proof search
- automated theorem proving
- inference rules
- mathematical proofs
- first order logic
- database views
- equational theories
- computer algebra
- natural deduction
- decision procedures
- t norm
- proof procedure
- encryption scheme
- knowledge base
- databases
- rough sets
- decision trees
- information retrieval
- cut elimination
- formal proof
- formal proofs
- machine learning
- data mining