Advances in Logic Locking: Past, Present, and Prospects.
Hadi Mardani KamaliKimia Zamiri AzarFarimah FarahmandiMark M. TehranipoorPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- recent advances
- artificial intelligence
- concurrency control
- database systems
- logic programming
- classical logic
- asynchronous circuits
- modal logic
- historical information
- defeasible logic
- multi valued
- automated reasoning
- real time
- real world
- deontic logic
- garbage collection
- fine granularity
- proof theory
- sound and complete axiomatization
- formal theory
- probability theory
- predicate logic
- set theory
- distributed databases
- multi agent
- case study
- website
- data mining
- databases