Reverse engineering an integrated circuit netlist is a powerful tool to help detect malicious
logic and counteract design piracy. A critical challenge in this domain is the correct …

The SAT attack has shown to be efficient against most combinational logic encryption
methods. It can be extended to attack sequential logic encryption techniques by leveraging …

The Boolean satisfiability (SAT) attack is an oracle-guided attack that can break most
combinational logic locking schemes by efficiently pruning out all the wrong keys from the …

Logic locking is a promising technique for protecting integrated circuit designs while
outsourcing their fabrication. Recently, graph neural network (GNN)-based link prediction …

Sequential logic locking has been studied over the last decade as a method to protect
sequential circuits from reverse engineering. However, most of the existing sequential logic …

Logic locking (LL) has gained attention as a promising intellectual property protection
measure for integrated circuits. However, recent attacks, facilitated by machine learning …

Sequential logic encryption is a countermeasure against reverse engineering of sequential
circuits based on modifying the original finite state machine of the circuit such that the circuit …

The evaluation of logic locking methods has long been predicated on an implicit assumption
that only the correct key can unveil the true functionality of a protected circuit. Consequently …

The burgeoning costs of integrated circuit (IC) fabrication have led to widespread
globalization of the IC supply chain, exposing IC designs to hardware security threats like …

Logic locking has gained significant attention, over the past decade, as a promising solution
to prevent the reverse-engineering of integrated circuits (ICs) by malicious third-party …