InterLock: An Intercorrelated Logic and Routing Locking.
Hadi Mardani KamaliKimia Zamiri AzarHouman HomayounAvesta SasanPublished in: ICCAD (2020)
Keyphrases
- routing algorithm
- logic programming
- modal logic
- routing protocol
- routing problem
- shortest path
- concurrency control
- classical logic
- multi valued
- ad hoc networks
- database systems
- computational properties
- automated reasoning
- proof theory
- wireless sensor networks
- databases
- inter domain
- asynchronous circuits
- predicate logic
- wireless ad hoc networks
- network topology
- query processing