{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T23:47:48Z","timestamp":1780444068363,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,18]],"date-time":"2021-01-18T00:00:00Z","timestamp":1610928000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1908131"],"award-info":[{"award-number":["CCF-1908131"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,1,18]]},"DOI":"10.1145\/3394885.3431595","type":"proceedings-article","created":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T11:32:46Z","timestamp":1611919966000},"page":"408-413","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":69,"title":["Automated Test Generation for Hardware Trojan Detection using Reinforcement Learning"],"prefix":"10.1145","author":[{"given":"Zhixin","family":"Pan","sequence":"first","affiliation":[{"name":"University of Florida, Gainesville, Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Prabhat","family":"Mishra","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,1,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. ISCAS Benchmarks. https:\/\/filebox.ece.vt.edu\/~mhsiao\/iscas89.html.  [n.d.]. ISCAS Benchmarks. https:\/\/filebox.ece.vt.edu\/~mhsiao\/iscas89.html."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. SCOAP. https:\/\/sourceforge.net\/projects\/testabilitymeasurementtool\/.  [n.d.]. SCOAP. https:\/\/sourceforge.net\/projects\/testabilitymeasurementtool\/."},{"key":"e_1_3_2_1_3_1","volume-title":"International Test Conference. 1--10","author":"Alif","unstructured":"Alif Ahmed et al. 2018. Scalable hardware Trojan activation by interleaving concrete simulation and symbolic execution . In International Test Conference. 1--10 . Alif Ahmed et al. 2018. Scalable hardware Trojan activation by interleaving concrete simulation and symbolic execution. In International Test Conference. 1--10."},{"key":"e_1_3_2_1_4_1","volume-title":"Evolutionary algorithms in theory and practice: evolution strategies, evolutionary programming, genetic algorithms","author":"Back Thomas","unstructured":"Thomas Back . 1996. Evolutionary algorithms in theory and practice: evolution strategies, evolutionary programming, genetic algorithms . Oxford university press . Thomas Back. 1996. Evolutionary algorithms in theory and practice: evolution strategies, evolutionary programming, genetic algorithms. Oxford university press."},{"key":"e_1_3_2_1_5_1","volume-title":"MERO: A Statistical Approach for Hardware Trojan Detection. In CHES. 396--410.","author":"R. Chakraborty","year":"2009","unstructured":"R. Chakraborty et al. 2009 . MERO: A Statistical Approach for Hardware Trojan Detection. In CHES. 396--410. R. Chakraborty et al. 2009. MERO: A Statistical Approach for Hardware Trojan Detection. In CHES. 396--410."},{"key":"e_1_3_2_1_6_1","first-page":"2746","article-title":"Scalable test generation for Trojan detection using side channel analysis","volume":"13","author":"Yuanwen Huang","year":"2018","unstructured":"Yuanwen Huang et al. 2018 . Scalable test generation for Trojan detection using side channel analysis . IEEE TIFS 13 , 11 (2018), 2746 -- 2760 . Yuanwen Huang et al. 2018. Scalable test generation for Trojan detection using side channel analysis. IEEE TIFS 13, 11 (2018), 2746--2760.","journal-title":"IEEE TIFS"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2514\/8.5282"},{"key":"e_1_3_2_1_8_1","unstructured":"Sami Khairy et al. 2019. Reinforcement-Learning-Based Variational Quantum Circuits Optimization for Combinatorial Problems. CoRR abs\/1911.04574 (2019).  Sami Khairy et al. 2019. Reinforcement-Learning-Based Variational Quantum Circuits Optimization for Combinatorial Problems. CoRR abs\/1911.04574 (2019)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Yangdi Lyu and Prabhat Mishra. 2020. Automated Trigger Activation by Repeated Maximal Clique Sampling. In ASPDAC. 482--487.  Yangdi Lyu and Prabhat Mishra. 2020. Automated Trigger Activation by Repeated Maximal Clique Sampling. In ASPDAC. 482--487.","DOI":"10.1109\/ASP-DAC47756.2020.9045449"},{"key":"e_1_3_2_1_10_1","volume-title":"MaxSense: Side-Channel Sensitivity Maximization for Trojan Detection using Statistical Test Patterns. TODAES","author":"Lyu Yangdi","year":"2020","unstructured":"Yangdi Lyu and Prabhat Mishra . 2020. MaxSense: Side-Channel Sensitivity Maximization for Trojan Detection using Statistical Test Patterns. TODAES ( 2020 ). Yangdi Lyu and Prabhat Mishra. 2020. MaxSense: Side-Channel Sensitivity Maximization for Trojan Detection using Statistical Test Patterns. TODAES (2020)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3019984"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"L. Moura and N. Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In TACAS. 337--340.  L. Moura and N. Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In TACAS. 337--340.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_13_1","first-page":"461","article-title":"Hardware Trojan Detection Using an Advised Genetic Algorithm Based Logic Testing","volume":"34","author":"M. Nourian","year":"2018","unstructured":"M. Nourian et al. 2018 . Hardware Trojan Detection Using an Advised Genetic Algorithm Based Logic Testing . JETTA 34 , 4 (2018), 461 -- 470 . M. Nourian et al. 2018. Hardware Trojan Detection Using an Advised Genetic Algorithm Based Logic Testing. JETTA 34, 4 (2018), 461--470.","journal-title":"JETTA"},{"key":"e_1_3_2_1_14_1","unstructured":"Zhixin Pan Jennifer Sheldon and Prabhat Mishra. 2020. Test Generation using Reinforcement Learning for Delay-based Side-Channel Analysis. ICCAD.  Zhixin Pan Jennifer Sheldon and Prabhat Mishra. 2020. Test Generation using Reinforcement Learning for Delay-based Side-Channel Analysis. ICCAD."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.87"},{"key":"e_1_3_2_1_16_1","volume-title":"Artificial intelligence: a modern approach. Malaysia","author":"Russell Stuart J","unstructured":"Stuart J Russell and Peter Norvig . 2016. Artificial intelligence: a modern approach. Malaysia ; Pearson Education Limited . Stuart J Russell and Peter Norvig. 2016. Artificial intelligence: a modern approach. Malaysia; Pearson Education Limited."},{"key":"e_1_3_2_1_17_1","volume-title":"COTD: Reference-Free Hardware Trojan Detection and Recovery Based on Controllability and Observability in Gate-Level Netlist. TIFS","author":"Salmani H.","year":"2017","unstructured":"H. Salmani . 2017 . COTD: Reference-Free Hardware Trojan Detection and Recovery Based on Controllability and Observability in Gate-Level Netlist. TIFS (2017). H. Salmani. 2017. COTD: Reference-Free Hardware Trojan Detection and Recovery Based on Controllability and Observability in Gate-Level Netlist. TIFS (2017)."}],"event":{"name":"ASPDAC '21: 26th Asia and South Pacific Design Automation Conference","location":"Tokyo Japan","acronym":"ASPDAC '21","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 26th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431595","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394885.3431595","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394885.3431595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:59Z","timestamp":1750193279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431595"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,18]]},"references-count":17,"alternative-id":["10.1145\/3394885.3431595","10.1145\/3394885"],"URL":"https:\/\/doi.org\/10.1145\/3394885.3431595","relation":{},"subject":[],"published":{"date-parts":[[2021,1,18]]},"assertion":[{"value":"2021-01-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}