Towards a Formal Treatment of Logic Locking.

Peter A. Beerel Marios Georgiou Ben Hamlin Alex J. Malozemoff Pierluigi Nuzzo

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

Keyphrases

formal treatment
classical logic
predicate logic
logic programming
automated reasoning
website
modal logic
proof theory
concurrency control
defeasible logic
epistemic logic
fine granularity
database
information retrieval
set theory