Resolving the Trilemma in Logic Encryption.

Hai Zhou Amin Rezaei Yuanqi Shen

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

Keyphrases

logic programming
modal logic
classical logic
multi valued
deontic logic
logical framework
defeasible logic
learning algorithm
information systems
programming language
proof theory
delay insensitive
encryption algorithms