Login / Signup

Towards a Formal Treatment of Logic Locking.

Peter A. BeerelMarios GeorgiouBen HamlinAlex J. MalozemoffPierluigi Nuzzo
Published in: IACR Trans. Cryptogr. Hardw. Embed. Syst. (2022)
Keyphrases
  • formal treatment
  • modal logic
  • logic programming
  • automated reasoning
  • real time
  • concurrency control
  • multi valued
  • classical logic
  • predicate logic
  • data sets
  • database systems
  • expert systems
  • epistemic logic
  • proof theory