Efficiency analysis of SAT solvers in logic locking applications
As globalization affects integrated circuit (IC) design, logic locking has emerged as an important protective strategy against numerous security threats. Since the introduction of the SAT attack method, the reliability of logic locking has been questioned. This development has spurred further resear...
Saved in:
Main Author: | Liu, Zhiyuan |
---|---|
Other Authors: | Gwee Bah Hwee |
Format: | Final Year Project |
Language: | English |
Published: |
Nanyang Technological University
2024
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/177292 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
Logic for fun : solving puzzles with SAT solvers
by: Foo, Zhong Xian
Published: (2016) -
Building a puzzle games solver using SAT solver
by: Nguyen Hung, Thai
Published: (2017) -
Machine learning analysis on logic locked circuits
by: Li, Zexuan
Published: (2024) -
Graph-based analysis for hardware obfuscation through logic locking
by: Huang, Erdong
Published: (2023) -
Security risk evaluation for logic locking
by: Diao, Shengjia
Published: (2024)