Cryptography with Dispensable Backdoors.

Kai-Min Chung Marios Georgiou Ching-Yi Lai Vassilis Zikas

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

Keyphrases

cellular automata
hidden structure
satisfiability problem
sat solvers
information systems
real time
real world
image processing
information security
sat instances
databases
image segmentation
data structure
search algorithm