{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T21:32:04Z","timestamp":1775079124317,"version":"3.50.1"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T00:00:00Z","timestamp":1680652800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T00:00:00Z","timestamp":1680652800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4,5]]},"DOI":"10.1109\/isqed57927.2023.10129403","type":"proceedings-article","created":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T17:33:09Z","timestamp":1684949589000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Resynthesis-based Attacks Against Logic Locking"],"prefix":"10.1109","author":[{"given":"Felipe","family":"Almeida","sequence":"first","affiliation":[{"name":"Tallinn University of Technology,Department of Computer Systems,Tallinn,Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Levent","family":"Aksoy","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology,Department of Computer Systems,Tallinn,Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quang-Linh","family":"Nguyen","sequence":"additional","affiliation":[{"name":"LIRMM, University of Montpellier,Montpellier,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Dupuis","sequence":"additional","affiliation":[{"name":"LIRMM, University of Montpellier,Montpellier,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Lise","family":"Flottes","sequence":"additional","affiliation":[{"name":"LIRMM, University of Montpellier,Montpellier,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Pagliarini","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology,Department of Computer Systems,Tallinn,Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.2968898"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2020.i1.175-202"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342086"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495588"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI51109.2021.00031"},{"key":"ref31","first-page":"663","article-title":"A Neutral Netlist of 10 Combinational Benchmark Circuits and a Targeted Translator in FORTRAN","author":"brglez","year":"1985","journal-title":"ISCAS"},{"key":"ref30","first-page":"51","article-title":"CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020","volume":"b 2020 1","author":"biere","year":"2020","journal-title":"Proc of SAT Competition 2020 – Solver and Benchmark Descriptions"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2801220"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228377"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref32","article-title":"Netlist Encryption and Obfuscation Suite","author":"shamsi","year":"2021"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277240"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2335155"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2017.2740364"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66787-4_10"},{"key":"ref19","first-page":"936","article-title":"Functional Analysis Attacks on Logic Locking","author":"sirone","year":"2019","journal-title":"DATE"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2021.i3.418-440"},{"key":"ref24","article-title":"Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking","author":"tan","year":"2020"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED48828.2020.9136983"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474118"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST51057.2020.9358261"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2019.2904838"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2022.3149147"},{"key":"ref21","first-page":"1055","article-title":"Does Logic Locking Work with EDA Tools?","author":"han","year":"2021","journal-title":"USENIX Security Symposium"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3338508.3359576"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714955"},{"key":"ref29","author":"lee","year":"1993","journal-title":"On the generation of test patterns for combinational circuits"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2021.3089555"},{"key":"ref7","first-page":"471","article-title":"Threats on Logic Locking: A Decade Later","author":"azar","year":"2019","journal-title":"GLVLSI"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403631"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2011.2163307"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397343"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133985"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-019-05800-4"}],"event":{"name":"2023 24th International Symposium on Quality Electronic Design (ISQED)","location":"San Francisco, CA, USA","start":{"date-parts":[[2023,4,5]]},"end":{"date-parts":[[2023,4,7]]}},"container-title":["2023 24th International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10129281\/10129282\/10129403.pdf?arnumber=10129403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T17:55:20Z","timestamp":1686592520000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10129403\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,5]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/isqed57927.2023.10129403","relation":{},"subject":[],"published":{"date-parts":[[2023,4,5]]}}}