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 (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 involvement of external parties in integrated circuits (IC) supply chain has raised
security issues such as cloning, overproduction, and unauthorized integration/activation …

As IP theft remains an important problem, and attacks against logic locking mechanisms are
becoming more sophisticated, the complexity of proposed encryption schemes are also …

This thesis contributes to protecting the chips' intellectual property by taking a novel
perspective on sequential reverse engineering and obfuscation. It derives a novel …

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 …

The development of integrated circuits (ICs) at smaller technology nodes has led to an
increase in fabrication costs. Consequently, many companies are outsourcing their …

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 …