A Cryptographic Proof of Regularity Lemmas.
Maciej SkorskiPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- theorem prover
- theorem proving
- proof search
- automated theorem proving
- smart card
- first order logic
- linear logic
- inference rules
- proof planning
- proof procedure
- geometry theorem proving
- hash functions
- data sets
- cellular automata
- privacy preserving
- evolutionary algorithm
- multi agent
- security properties
- database systems
- computer vision
- artificial intelligence
- natural deduction
- proof theory
- real world
- databases