Login / Signup
Truly Stripping Functionality for Logic Locking: A Fault-Based Perspective.
Abhrajit Sengupta
Mohammed Nabeel
Nimisha Limaye
Mohammed Ashraf
Ozgur Sinanoglu
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
</>
fault diagnosis
multi valued
fault detection
proof theory
asynchronous circuits
classical logic
modal logic
automated reasoning
formal theory
genetic algorithm
real time
concurrency control
logic programming
set theory
digital circuits
viewpoint
deontic logic
information systems