A Comparative Investigation of Approximate Attacks on Logic Encryptions.

Yuanqi Shen Amin Rezaei Hai Zhou

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

Keyphrases

modal logic
countermeasures
logic programming
proof theory
malicious attacks
multi valued
information systems
watermarking algorithm
classical logic
java card
comparative analysis
malicious users
exact solution
automated reasoning
computer security
logical framework
traffic analysis
watermarking scheme