Partially Programmable Circuit Design Oriented to masking Trojan Circuits
The enhanced utilization of outsourcing services for a part of VLSIs (Intellectual Property cores, reprogramming components based on FPGA and so on) to cut VLSI cost increases risk of inserting Trojan Circuits (TCs) that may destroy VLSI or provide leakage of confidential information. TCs as a rule...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/352 |
| _version_ | 1811285912068292608 |
|---|---|
| author | A. Yu. Matrosova S. A. Ostanin E. A. Nikolaeva |
| author_facet | A. Yu. Matrosova S. A. Ostanin E. A. Nikolaeva |
| author_sort | A. Yu. Matrosova |
| collection | DOAJ |
| description | The enhanced utilization of outsourcing services for a part of VLSIs (Intellectual Property cores, reprogramming components based on FPGA and so on) to cut VLSI cost increases risk of inserting Trojan Circuits (TCs) that may destroy VLSI or provide leakage of confidential information. TCs as a rule act in rare operation situations, therefore they are not detectable neither during VLSI verification nor VLSI testing. The approach to partially programmable circuit design from gates, programmable LUTs and MUXs oriented to masking TCs is suggested. The approach allows getting a circuit that masks TC when it has been found or deriving a circuit that is tolerant to TCs actions. The method of reprogramming LUTs for masking TCs is developed. The condition of replacing a function corresponding to free LUT input is formulated. It is based on using incompletely specified Boolean functions of internal nodes of the circuit. The functions are obtained with using operations on ROBDDs corresponding to the circuit fragments. The operations have a polynomial complexity. |
| first_indexed | 2024-04-13T02:51:00Z |
| format | Article |
| id | doaj.art-0aec25c0a13d424691ed34d35f5c4cc3 |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-04-13T02:51:00Z |
| publishDate | 2018-10-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-0aec25c0a13d424691ed34d35f5c4cc32022-12-22T03:05:50ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-10-01295617410.15514/ISPRAS-2017-29(5)-4352Partially Programmable Circuit Design Oriented to masking Trojan CircuitsA. Yu. Matrosova0S. A. Ostanin1E. A. Nikolaeva2Национальный исследовательский Томский государственный университетНациональный исследовательский Томский государственный университетНациональный исследовательский Томский государственный университетThe enhanced utilization of outsourcing services for a part of VLSIs (Intellectual Property cores, reprogramming components based on FPGA and so on) to cut VLSI cost increases risk of inserting Trojan Circuits (TCs) that may destroy VLSI or provide leakage of confidential information. TCs as a rule act in rare operation situations, therefore they are not detectable neither during VLSI verification nor VLSI testing. The approach to partially programmable circuit design from gates, programmable LUTs and MUXs oriented to masking TCs is suggested. The approach allows getting a circuit that masks TC when it has been found or deriving a circuit that is tolerant to TCs actions. The method of reprogramming LUTs for masking TCs is developed. The condition of replacing a function corresponding to free LUT input is formulated. It is based on using incompletely specified Boolean functions of internal nodes of the circuit. The functions are obtained with using operations on ROBDDs corresponding to the circuit fragments. The operations have a polynomial complexity.https://ispranproceedings.elpub.ru/jour/article/view/352частично программируемые схемывредоносные схемы (trojan circuits)частичные булевы функцииreduced ordered binary decision diagrams (robdd-графы) |
| spellingShingle | A. Yu. Matrosova S. A. Ostanin E. A. Nikolaeva Partially Programmable Circuit Design Oriented to masking Trojan Circuits Труды Института системного программирования РАН частично программируемые схемы вредоносные схемы (trojan circuits) частичные булевы функции reduced ordered binary decision diagrams (robdd-графы) |
| title | Partially Programmable Circuit Design Oriented to masking Trojan Circuits |
| title_full | Partially Programmable Circuit Design Oriented to masking Trojan Circuits |
| title_fullStr | Partially Programmable Circuit Design Oriented to masking Trojan Circuits |
| title_full_unstemmed | Partially Programmable Circuit Design Oriented to masking Trojan Circuits |
| title_short | Partially Programmable Circuit Design Oriented to masking Trojan Circuits |
| title_sort | partially programmable circuit design oriented to masking trojan circuits |
| topic | частично программируемые схемы вредоносные схемы (trojan circuits) частичные булевы функции reduced ordered binary decision diagrams (robdd-графы) |
| url | https://ispranproceedings.elpub.ru/jour/article/view/352 |
| work_keys_str_mv | AT ayumatrosova partiallyprogrammablecircuitdesignorientedtomaskingtrojancircuits AT saostanin partiallyprogrammablecircuitdesignorientedtomaskingtrojancircuits AT eanikolaeva partiallyprogrammablecircuitdesignorientedtomaskingtrojancircuits |