SAT and SCOPE Attacks on Deceptive Multiplexer Logic Locking.

Jugal Gandhi Rishi Agarwal Anish Mall Diksha Shekhawat M. Santosh Jai Gopal Pandey

Published in: VLSID (2024)

Keyphrases

sat solvers
classical logic
satisfiability problem
countermeasures
deception detection
modal logic
concurrency control
search algorithm
database systems
sat problem
malicious users
phase transition
watermarking scheme
multi valued
security mechanisms
search strategies
security risks
malicious attacks
sat solving