Resynthesis-based Attacks Against Logic Locking.

Felipe Almeida Levent Aksoy Quang-Linh Nguyen Sophie Dupuis Marie-Lise Flottes Samuel Pagliarini

Published in: ISQED (2023)

Keyphrases

logic programming
countermeasures
malicious attacks
automated reasoning
asynchronous circuits
predicate logic
concurrency control
database
multi valued
classical logic
traffic analysis
database systems
modal logic
watermarking scheme
computer security
security protocols
operating system
knowledge base