Design and detection of hardware Trojan based on satisfiability don't cares
Hardware Trojans are intended malicious design modifications to integrated circuits, which can be used to launch powerful low-level attacks after being activated.A new security threat of lightweight stealthy hardware Trojans leveraging discrete satisfiability don't care signals was demonstrated...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
POSTS&TELECOM PRESS Co., LTD
2021-04-01
|
| Series: | 网络与信息安全学报 |
| Subjects: | |
| Online Access: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2021025 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841529850044612608 |
|---|---|
| author | Lingjuan WU Jiacheng ZHU Shibo TANG Jing TAN Wei HU |
| author_facet | Lingjuan WU Jiacheng ZHU Shibo TANG Jing TAN Wei HU |
| author_sort | Lingjuan WU |
| collection | DOAJ |
| description | Hardware Trojans are intended malicious design modifications to integrated circuits, which can be used to launch powerful low-level attacks after being activated.A new security threat of lightweight stealthy hardware Trojans leveraging discrete satisfiability don't care signals was demonstrated.These don't care could not be satisfied under normal operation and thus the circuit design with Trojan is functionally equivalent to the Trojan-free baseline.The attacker could activate the Trojan through simple yet effective fault injection.Experimental results on a 1024-bit RSA cryptographic core show that the proposed hardware Trojan can escape from logic synthesis optimization, and that the RSA private key can be retrieved by simply over-clocking the design.A defense technique that can effectively detect such stealthy Trojan design was provided. |
| format | Article |
| id | doaj-art-05507193913d420b9f58baa71c5e868c |
| institution | Kabale University |
| issn | 2096-109X |
| language | English |
| publishDate | 2021-04-01 |
| publisher | POSTS&TELECOM PRESS Co., LTD |
| record_format | Article |
| series | 网络与信息安全学报 |
| spelling | doaj-art-05507193913d420b9f58baa71c5e868c2025-01-15T03:14:54ZengPOSTS&TELECOM PRESS Co., LTD网络与信息安全学报2096-109X2021-04-017354259565472Design and detection of hardware Trojan based on satisfiability don't caresLingjuan WUJiacheng ZHUShibo TANGJing TANWei HUHardware Trojans are intended malicious design modifications to integrated circuits, which can be used to launch powerful low-level attacks after being activated.A new security threat of lightweight stealthy hardware Trojans leveraging discrete satisfiability don't care signals was demonstrated.These don't care could not be satisfied under normal operation and thus the circuit design with Trojan is functionally equivalent to the Trojan-free baseline.The attacker could activate the Trojan through simple yet effective fault injection.Experimental results on a 1024-bit RSA cryptographic core show that the proposed hardware Trojan can escape from logic synthesis optimization, and that the RSA private key can be retrieved by simply over-clocking the design.A defense technique that can effectively detect such stealthy Trojan design was provided.http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2021025hardware securityhardware Trojansatisfiability don't carefault injectionTrojan detection |
| spellingShingle | Lingjuan WU Jiacheng ZHU Shibo TANG Jing TAN Wei HU Design and detection of hardware Trojan based on satisfiability don't cares 网络与信息安全学报 hardware security hardware Trojan satisfiability don't care fault injection Trojan detection |
| title | Design and detection of hardware Trojan based on satisfiability don't cares |
| title_full | Design and detection of hardware Trojan based on satisfiability don't cares |
| title_fullStr | Design and detection of hardware Trojan based on satisfiability don't cares |
| title_full_unstemmed | Design and detection of hardware Trojan based on satisfiability don't cares |
| title_short | Design and detection of hardware Trojan based on satisfiability don't cares |
| title_sort | design and detection of hardware trojan based on satisfiability don t cares |
| topic | hardware security hardware Trojan satisfiability don't care fault injection Trojan detection |
| url | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2021025 |
| work_keys_str_mv | AT lingjuanwu designanddetectionofhardwaretrojanbasedonsatisfiabilitydontcares AT jiachengzhu designanddetectionofhardwaretrojanbasedonsatisfiabilitydontcares AT shibotang designanddetectionofhardwaretrojanbasedonsatisfiabilitydontcares AT jingtan designanddetectionofhardwaretrojanbasedonsatisfiabilitydontcares AT weihu designanddetectionofhardwaretrojanbasedonsatisfiabilitydontcares |