Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Dynamic Multi-Layered Hardware Obfuscation with Behavioral Drift Locking for SAT-Resistant Designs
The globalization of the semiconductor supply chain has introduced critical vulnerabilities, including intellectual property (IP) piracy, reverse engineering, and hardware tampering. While traditional logic locking offers a baseline of defense, the emergence of powerful Boolean satisfiability (SAT)...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
AUC Knowledge Fountain
2026
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613432601116672 |
|---|---|
| access_status_str | Open Access |
| author | Emish, Ahmed Yehia Salah Mohamed |
| author_browse | Emish, Ahmed Yehia Salah Mohamed |
| author_facet | Emish, Ahmed Yehia Salah Mohamed |
| author_sort | Emish, Ahmed Yehia Salah Mohamed |
| collection | Thesis |
| description | The globalization of the semiconductor supply chain has introduced critical vulnerabilities, including intellectual property (IP) piracy, reverse engineering, and hardware tampering. While traditional logic locking offers a baseline of defense, the emergence of powerful Boolean satisfiability (SAT) solvers has rendered many static obfuscation techniques ineffective. This work proposes a Dynamic Multi- Layered Hardware Obfuscation Framework that utilizes Behavioral Drift Locking (BDL) to provide a robust defense-in-depth against advanced adversarial models. The methodology integrates four synergistic layers: • Dynamic Key Management using a time-dependent rotation mechanism that updates keys every clock cycle to prevent static analysis. • Control Obfuscation through opcode masking. • Data Obfuscation using striped key segments and BDL • Integrity Verification via dual-rail anti-SAT logic and redundant consistency checks. Unlike traditional static approaches, the BDL mechanism ensures that circuit behavior periodically drifts into erroneous states unless re-synchronized with a secret internal condition, effectively removing the single point of failure associated with static key leakage. The framework was implemented in Verilog and validated on ALU, FFT, and AES cores using Intel Quartus Prime and ModelSim. Security evaluations using CryptoMiniSat and AppSAT demonstrate high resilience, with solvers failing to recover the key after 1,000,000 iterations. Experimental results quantify the design overhead, showing a maximum area increase of 8.76% and a power overhead of 9.00% for the most aggressively locked ALU core, while maintaining high performance with a critical path delay impact of only 7.50%. These results prove that a light, layered approach can achieve strong SAT-resistance and side-channel resilience with practical overheads suitable for modern processors and cryptographic modules |
| format | Thesis |
| id | oai:fount.aucegypt.edu:etds-3727 |
| institution | American University in Cairo (Egypt) |
| last_indexed | 2026-06-10T12:36:03.647Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from AUC Knowledge Fountain — bepress |
| publishDate | 2026 |
| publishDateRange | 2026 |
| publishDateSort | 2026 |
| publisher | AUC Knowledge Fountain |
| publisherStr | AUC Knowledge Fountain |
| record_format | dspace |
| source_str | AUC Knowledge Fountain — bepress |
| spelling | oai:fount.aucegypt.edu:etds-3727 Dynamic Multi-Layered Hardware Obfuscation with Behavioral Drift Locking for SAT-Resistant Designs Emish, Ahmed Yehia Salah Mohamed The globalization of the semiconductor supply chain has introduced critical vulnerabilities, including intellectual property (IP) piracy, reverse engineering, and hardware tampering. While traditional logic locking offers a baseline of defense, the emergence of powerful Boolean satisfiability (SAT) solvers has rendered many static obfuscation techniques ineffective. This work proposes a Dynamic Multi- Layered Hardware Obfuscation Framework that utilizes Behavioral Drift Locking (BDL) to provide a robust defense-in-depth against advanced adversarial models. The methodology integrates four synergistic layers: • Dynamic Key Management using a time-dependent rotation mechanism that updates keys every clock cycle to prevent static analysis. • Control Obfuscation through opcode masking. • Data Obfuscation using striped key segments and BDL • Integrity Verification via dual-rail anti-SAT logic and redundant consistency checks. Unlike traditional static approaches, the BDL mechanism ensures that circuit behavior periodically drifts into erroneous states unless re-synchronized with a secret internal condition, effectively removing the single point of failure associated with static key leakage. The framework was implemented in Verilog and validated on ALU, FFT, and AES cores using Intel Quartus Prime and ModelSim. Security evaluations using CryptoMiniSat and AppSAT demonstrate high resilience, with solvers failing to recover the key after 1,000,000 iterations. Experimental results quantify the design overhead, showing a maximum area increase of 8.76% and a power overhead of 9.00% for the most aggressively locked ALU core, while maintaining high performance with a critical path delay impact of only 7.50%. These results prove that a light, layered approach can achieve strong SAT-resistance and side-channel resilience with practical overheads suitable for modern processors and cryptographic modules 2026-02-14T08:00:00Z thesis application/pdf https://fount.aucegypt.edu/etds/2684 https://fount.aucegypt.edu/context/etds/article/3727/viewcontent/Ahmed_Yehia_Emish_Thesis.pdf Theses and Dissertations AUC Knowledge Fountain Obfuscation SAT-attacks Hardware Security Electrical and Electronics |
| spellingShingle | Obfuscation SAT-attacks Hardware Security Electrical and Electronics Emish, Ahmed Yehia Salah Mohamed Dynamic Multi-Layered Hardware Obfuscation with Behavioral Drift Locking for SAT-Resistant Designs |
| title | Dynamic Multi-Layered Hardware Obfuscation with Behavioral Drift Locking for SAT-Resistant Designs |
| title_full | Dynamic Multi-Layered Hardware Obfuscation with Behavioral Drift Locking for SAT-Resistant Designs |
| title_fullStr | Dynamic Multi-Layered Hardware Obfuscation with Behavioral Drift Locking for SAT-Resistant Designs |
| title_full_unstemmed | Dynamic Multi-Layered Hardware Obfuscation with Behavioral Drift Locking for SAT-Resistant Designs |
| title_short | Dynamic Multi-Layered Hardware Obfuscation with Behavioral Drift Locking for SAT-Resistant Designs |
| title_sort | dynamic multi layered hardware obfuscation with behavioral drift locking for sat resistant designs |
| topic | Obfuscation SAT-attacks Hardware Security Electrical and Electronics |
| url | https://fount.aucegypt.edu/etds/2684 https://fount.aucegypt.edu/context/etds/article/3727/viewcontent/Ahmed_Yehia_Emish_Thesis.pdf |
| work_keys_str_mv | AT emishahmedyehiasalahmohamed dynamicmultilayeredhardwareobfuscationwithbehavioraldriftlockingforsatresistantdesigns |