Lattice-based proof of a shuffle.

Núria Costa Ramiro Martínez Paz Morillo

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

Keyphrases

theorem proving
linear logic
genetic algorithm
information systems
image sequences
theorem prover
special case
lower bound
uniform distribution
evolutionary algorithm
relational databases
expert systems
machine learning
digital libraries
learning environment
decision trees
computer vision
information retrieval