Resolving the Trilemma in Logic Encryption.

Hai Zhou Amin Rezaei Yuanqi Shen

Published in: ICCAD (2019)

Keyphrases

logic programming
multi valued
predicate logic
classical logic
modal logic
computational properties
knowledge base
logic programs
key management
image encryption
encryption algorithms