Anindan Mondal, Mahabub Hasan Mahalat, Suraj Mandal, Suchismita Roy, B. Sen
{"title":"一种新的硬件木马检测测试向量生成方法","authors":"Anindan Mondal, Mahabub Hasan Mahalat, Suraj Mandal, Suchismita Roy, B. Sen","doi":"10.1109/SOCC46988.2019.1570548271","DOIUrl":null,"url":null,"abstract":"Hardware Trojans are intentional addition of malicious logic into a normal circuit which is widely regarded as one of the biggest concerns for IC industry due to the presence of a global supply chain. Being very small in size, Trojans remain dormant during manufacturing tests and only gets activated during operational mode for a rare input signal combination. Existing stuck-at-fault testing methods are insufficient for Trojan detection. In this context, a methodology to produce test vector is proposed in this work which generates rare signals inside a circuit. The proposed work uses transition probability to find rare activity nets. A set of test vectors are generated based on the impact of primary inputs on rare nets to stimulate rare signals across the netlist. The effects of final test vectors are verified with ISCAS-85 benchmark circuits and also compared with the performance of random vectors. Simulation result advocates the significance of the proposed test vectors in terms of rare net excitation.","PeriodicalId":253998,"journal":{"name":"2019 32nd IEEE International System-on-Chip Conference (SOCC)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"A Novel Test Vector Generation Method for Hardware Trojan Detection\",\"authors\":\"Anindan Mondal, Mahabub Hasan Mahalat, Suraj Mandal, Suchismita Roy, B. Sen\",\"doi\":\"10.1109/SOCC46988.2019.1570548271\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Hardware Trojans are intentional addition of malicious logic into a normal circuit which is widely regarded as one of the biggest concerns for IC industry due to the presence of a global supply chain. Being very small in size, Trojans remain dormant during manufacturing tests and only gets activated during operational mode for a rare input signal combination. Existing stuck-at-fault testing methods are insufficient for Trojan detection. In this context, a methodology to produce test vector is proposed in this work which generates rare signals inside a circuit. The proposed work uses transition probability to find rare activity nets. A set of test vectors are generated based on the impact of primary inputs on rare nets to stimulate rare signals across the netlist. The effects of final test vectors are verified with ISCAS-85 benchmark circuits and also compared with the performance of random vectors. Simulation result advocates the significance of the proposed test vectors in terms of rare net excitation.\",\"PeriodicalId\":253998,\"journal\":{\"name\":\"2019 32nd IEEE International System-on-Chip Conference (SOCC)\",\"volume\":\"52 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 32nd IEEE International System-on-Chip Conference (SOCC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SOCC46988.2019.1570548271\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 32nd IEEE International System-on-Chip Conference (SOCC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SOCC46988.2019.1570548271","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Novel Test Vector Generation Method for Hardware Trojan Detection
Hardware Trojans are intentional addition of malicious logic into a normal circuit which is widely regarded as one of the biggest concerns for IC industry due to the presence of a global supply chain. Being very small in size, Trojans remain dormant during manufacturing tests and only gets activated during operational mode for a rare input signal combination. Existing stuck-at-fault testing methods are insufficient for Trojan detection. In this context, a methodology to produce test vector is proposed in this work which generates rare signals inside a circuit. The proposed work uses transition probability to find rare activity nets. A set of test vectors are generated based on the impact of primary inputs on rare nets to stimulate rare signals across the netlist. The effects of final test vectors are verified with ISCAS-85 benchmark circuits and also compared with the performance of random vectors. Simulation result advocates the significance of the proposed test vectors in terms of rare net excitation.