Proof of a shuffle for lattice-based cryptography (Full version).

Núria Costa Ramiro Martínez Paz Morillo

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

Keyphrases

cellular automata
theorem proving
information retrieval
three dimensional
multiscale
concept lattice
database
real world
feature selection
image processing
special case
proof planning