The Impact of Logic Locking on Confidentiality: An Automated Evaluation
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929711452520448 |
|---|---|
| author | Reimann, Lennart M. Rezunov, Evgenii Germek, Dominik Collini, Luca Pilato, Christian Karri, Ramesh Leupers, Rainer |
| author_facet | Reimann, Lennart M. Rezunov, Evgenii Germek, Dominik Collini, Luca Pilato, Christian Karri, Ramesh Leupers, Rainer |
| contents | Logic locking secures hardware designs in untrusted foundries by incorporating key-driven gates to obscure the original blueprint. While this method safeguards the integrated circuit from malicious alterations during fabrication, its influence on data confidentiality during runtime has been ignored. In this study, we employ path sensitization to formally examine the impact of logic locking on confidentiality. By applying three representative logic locking mechanisms on open-source cryptographic benchmarks, we utilize an automatic test pattern generation framework to evaluate the effect of locking on cryptographic encryption keys and sensitive data signals. Our analysis reveals that logic locking can inadvertently cause sensitive data leakage when incorrect logic locking keys are used. We show that a single malicious logic locking key can expose over 70% of an encryption key. If an adversary gains control over other inputs, the entire encryption key can be compromised. This research uncovers a significant security vulnerability in logic locking and emphasizes the need for comprehensive security assessments that extend beyond key-recovery attacks. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_01240 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The Impact of Logic Locking on Confidentiality: An Automated Evaluation Reimann, Lennart M. Rezunov, Evgenii Germek, Dominik Collini, Luca Pilato, Christian Karri, Ramesh Leupers, Rainer Cryptography and Security Hardware Architecture Logic locking secures hardware designs in untrusted foundries by incorporating key-driven gates to obscure the original blueprint. While this method safeguards the integrated circuit from malicious alterations during fabrication, its influence on data confidentiality during runtime has been ignored. In this study, we employ path sensitization to formally examine the impact of logic locking on confidentiality. By applying three representative logic locking mechanisms on open-source cryptographic benchmarks, we utilize an automatic test pattern generation framework to evaluate the effect of locking on cryptographic encryption keys and sensitive data signals. Our analysis reveals that logic locking can inadvertently cause sensitive data leakage when incorrect logic locking keys are used. We show that a single malicious logic locking key can expose over 70% of an encryption key. If an adversary gains control over other inputs, the entire encryption key can be compromised. This research uncovers a significant security vulnerability in logic locking and emphasizes the need for comprehensive security assessments that extend beyond key-recovery attacks. |
| title | The Impact of Logic Locking on Confidentiality: An Automated Evaluation |
| topic | Cryptography and Security Hardware Architecture |
| url | https://arxiv.org/abs/2502.01240 |