Latch-Based Logic Locking.

Joseph Sweeney V. Mohammed Zackriya Samuel Pagliarini Lawrence T. Pileggi

Published in: HOST (2020)

Keyphrases

flip flops
power consumption
logic programming
modal logic
high density
classical logic
low power
multi valued
concurrency control
logical framework
computational properties
proof theory
probabilistic logic
digital circuits
formal theory
natural deduction
search engine