Login / Signup

Thwarting All Logic Locking Attacks: Dishonest Oracle With Truly Random Logic Locking.

Nimisha LimayeEmmanouil KalligerosNikolaos KarousosIrene G. KarybaliOzgur Sinanoglu
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2021)
Keyphrases
  • logic programming
  • modal logic
  • classical logic
  • multi valued
  • logical framework
  • database systems
  • description logics
  • concurrency control
  • asynchronous circuits
  • garbage collection
  • fine granularity
  • proof theory