{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:50Z","timestamp":1750221050968,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,2]],"date-time":"2018-11-02T00:00:00Z","timestamp":1541116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,11,2]]},"DOI":"10.1145\/3290480.3290492","type":"proceedings-article","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T13:37:41Z","timestamp":1544103461000},"page":"64-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Case Study"],"prefix":"10.1145","author":[{"given":"Jianfeng","family":"Zhao","sequence":"first","affiliation":[{"name":"School of Cyber Security, University of Chinese Academy of Sciences, Institute of Information Engineering, Chinese Academy of Science, Haidian District, Beijing"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"8","volume-title":"Tsinghua University press","author":"Jiang P.","year":"2007","unstructured":"P. Jiang , D.J. Li. \"Information countermeasure\". Tsinghua University press , Chinese People's Public Security University press , pp. 8 -- 11 . 2007 . P. Jiang, D.J. Li. \"Information countermeasure\". Tsinghua University press, Chinese People's Public Security University press, pp.8--11. 2007."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.36"},{"key":"e_1_3_2_1_3_1","first-page":"354","volume-title":"Proceedings of IEEE Region 5 Technical Conference","author":"Jia D.","year":"2007","unstructured":"D. Jia and S. Smith , A hardware threat modeling concept for trustable integrated circuits . Proceedings of IEEE Region 5 Technical Conference , pp. 354 -- 357 , 2007 . D.Jia and S.Smith, A hardware threat modeling concept for trustable integrated circuits. Proceedings of IEEE Region 5 Technical Conference, pp.354--357, 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2008.4559039"},{"issue":"10","key":"e_1_3_2_1_5_1","first-page":"78","article-title":"The Implementation and Analysis of a Trojan Circuit in IC Chips","volume":"29","author":"Zheng Z.X.","year":"2012","unstructured":"Z.X. Zheng , L. Han , Y. Li and X.C. Zou . \" The Implementation and Analysis of a Trojan Circuit in IC Chips \". Microelectronics and computer , vol. 29 , no. 10 , pp. 78 -- 80 , 2012 . Z.X. Zheng, L. Han, Y. Li and X.C. Zou. \"The Implementation and Analysis of a Trojan Circuit in IC Chips\". Microelectronics and computer, vol.29, no.10, pp.78--80, 2012.","journal-title":"Microelectronics and computer"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537869"},{"key":"e_1_3_2_1_7_1","first-page":"166","volume-title":"Proceedings of the 14th IEEE International High Level Design Validation and Test Workshop","author":"Chakraborty R.S.","year":"2009","unstructured":"R.S. Chakraborty , N. Seetharam and B. Swarup , Hardware Trojan : Threats and emerging solutions . Proceedings of the 14th IEEE International High Level Design Validation and Test Workshop , pp. 166 -- 171 , 2009 . R.S.Chakraborty, N.Seetharam and B.Swarup, Hardware Trojan: Threats and emerging solutions. Proceedings of the 14th IEEE International High Level Design Validation and Test Workshop, pp.166--171, 2009."},{"issue":"12","key":"e_1_3_2_1_8_1","first-page":"15","article-title":"A Hardware Trojans Detection Method Based on Electromagnetic Emission Analysis","volume":"30","author":"Zhang P.","year":"2013","unstructured":"P. Zhang , X.C. Wang and Q. Zhou , \" A Hardware Trojans Detection Method Based on Electromagnetic Emission Analysis \" Microelectronics and computer , vol. 30 , no. 12 , pp. 15 -- 17 , 2013 . P.Zhang, X.C.Wang and Q.Zhou, \"A Hardware Trojans Detection Method Based on Electromagnetic Emission Analysis\" Microelectronics and computer, vol.30, no.12, pp.15--17, 2013.","journal-title":"Microelectronics and computer"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2460551"},{"key":"e_1_3_2_1_10_1","first-page":"49","volume-title":"Proceedings of IEEE International On-Line Testing Symposium (IOLTS'14)","author":"Dupuis S.","year":"2014","unstructured":"S. Dupuis , P.S. Ba , G.D. Natale , M.L. lottes and B. Rouzeyre , A Novel Hardware Logic Encryption Technique for thwarting Illegal Overproduction and Hardware Trojans . Proceedings of IEEE International On-Line Testing Symposium (IOLTS'14) , pp. 49 -- 54 , 2014 . S.Dupuis, P.S.Ba, G.D.Natale, M.L. lottes and B.Rouzeyre, A Novel Hardware Logic Encryption Technique for thwarting Illegal Overproduction and Hardware Trojans. Proceedings of IEEE International On-Line Testing Symposium (IOLTS'14), pp.49--54, 2014."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSPCC.2015.7338921"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581574"}],"event":{"name":"ICCNS 2018: 2018 the 8th International Conference on Communication and Network Security","acronym":"ICCNS 2018","location":"Qingdao China"},"container-title":["Proceedings of the 8th International Conference on Communication and Network Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290480.3290492","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3290480.3290492","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:44:17Z","timestamp":1750207457000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290480.3290492"}},"subtitle":["Discovering Hardware Trojans Based on model checking"],"short-title":[],"issued":{"date-parts":[[2018,11,2]]},"references-count":12,"alternative-id":["10.1145\/3290480.3290492","10.1145\/3290480"],"URL":"https:\/\/doi.org\/10.1145\/3290480.3290492","relation":{},"subject":[],"published":{"date-parts":[[2018,11,2]]},"assertion":[{"value":"2018-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}