Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structures
Integrated circuits, systems on a chip are the key links in various industrial systems and state defense systems. The emergence of counterfeit integrated circuits, problems of piracy, overproduction, unauthorized interference in the design of microcircuit, hardware Trojans require the development of...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
National Academy of Sciences of Belarus, the United Institute of Informatics Problems
2021-09-01
|
| Series: | Informatika |
| Subjects: | |
| Online Access: | https://inf.grid.by/jour/article/view/1141 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832543467735089152 |
|---|---|
| author | L. A. Zolotorevich V. A. Ilyinkov |
| author_facet | L. A. Zolotorevich V. A. Ilyinkov |
| author_sort | L. A. Zolotorevich |
| collection | DOAJ |
| description | Integrated circuits, systems on a chip are the key links in various industrial systems and state defense systems. The emergence of counterfeit integrated circuits, problems of piracy, overproduction, unauthorized interference in the design of microcircuit, hardware Trojans require the development of methods and means of their timely detection. Trojans can be introduced into the integrated circuits structure both on the development stage and during the production process, including the stages of specification, design, verification and manufacturing. The inclusion of additional elements in the integrated circuits structure jeopardizes the functional suitability and reliability of the system as a whole. For the purpose of hardware protection of projects, the methods of hardware coding are currently used.The paper discusses the features and reliability of logical coding of combinational circuits. An algorithm for cracking the code of combinational circuits is proposed, based on the description of encoded structure by the resolution function and reducing the problem to SAT CNF. The initial data for decoding the structure of a digital device is the structural implementation of encoded circuit, obtained, for example, by reverse engineering (prototype design), as well as an activated physical sample of an integrated circuit, when into protected from unauthorized access memory the correct key value is loaded. This sample can be used as a black box model. The main idea of breaking a key is to solve a problem without research on a large interval of values of input and output variables. |
| format | Article |
| id | doaj-art-f942261205e44c7cb105793034cee613 |
| institution | Kabale University |
| issn | 1816-0301 |
| language | Russian |
| publishDate | 2021-09-01 |
| publisher | National Academy of Sciences of Belarus, the United Institute of Informatics Problems |
| record_format | Article |
| series | Informatika |
| spelling | doaj-art-f942261205e44c7cb105793034cee6132025-02-03T11:40:29ZrusNational Academy of Sciences of Belarus, the United Institute of Informatics ProblemsInformatika1816-03012021-09-0118371710.37661/1816-0301-2021-18-3-7-17975Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structuresL. A. Zolotorevich0V. A. Ilyinkov1Belarusian State University of Informatics and RadioelectronicsBelarusian State University of Informatics and RadioelectronicsIntegrated circuits, systems on a chip are the key links in various industrial systems and state defense systems. The emergence of counterfeit integrated circuits, problems of piracy, overproduction, unauthorized interference in the design of microcircuit, hardware Trojans require the development of methods and means of their timely detection. Trojans can be introduced into the integrated circuits structure both on the development stage and during the production process, including the stages of specification, design, verification and manufacturing. The inclusion of additional elements in the integrated circuits structure jeopardizes the functional suitability and reliability of the system as a whole. For the purpose of hardware protection of projects, the methods of hardware coding are currently used.The paper discusses the features and reliability of logical coding of combinational circuits. An algorithm for cracking the code of combinational circuits is proposed, based on the description of encoded structure by the resolution function and reducing the problem to SAT CNF. The initial data for decoding the structure of a digital device is the structural implementation of encoded circuit, obtained, for example, by reverse engineering (prototype design), as well as an activated physical sample of an integrated circuit, when into protected from unauthorized access memory the correct key value is loaded. This sample can be used as a black box model. The main idea of breaking a key is to solve a problem without research on a large interval of values of input and output variables.https://inf.grid.by/jour/article/view/1141digital devicelogical codingdecodingresolution functionsat cnf |
| spellingShingle | L. A. Zolotorevich V. A. Ilyinkov Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structures Informatika digital device logical coding decoding resolution function sat cnf |
| title | Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structures |
| title_full | Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structures |
| title_fullStr | Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structures |
| title_full_unstemmed | Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structures |
| title_short | Monitoring the reliability of integrated circuits protection against Trojans: encoding and decoding of combinational structures |
| title_sort | monitoring the reliability of integrated circuits protection against trojans encoding and decoding of combinational structures |
| topic | digital device logical coding decoding resolution function sat cnf |
| url | https://inf.grid.by/jour/article/view/1141 |
| work_keys_str_mv | AT lazolotorevich monitoringthereliabilityofintegratedcircuitsprotectionagainsttrojansencodinganddecodingofcombinationalstructures AT vailyinkov monitoringthereliabilityofintegratedcircuitsprotectionagainsttrojansencodinganddecodingofcombinationalstructures |