{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:52:05Z","timestamp":1730343125731,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.23919\/date51398.2021.9474003","type":"proceedings-article","created":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T18:11:46Z","timestamp":1629828706000},"page":"1172-1177","source":"Crossref","is-referenced-by-count":3,"title":["A Cognitive SAT to SAT-Hard Clause Translation-based Logic Obfuscation"],"prefix":"10.23919","author":[{"given":"Rakibul","family":"Hassan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaurav","family":"Kohle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Setareh","family":"Rafatirad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houman","family":"Homayoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sai Manoj","family":"Pudukotai Dinakarrao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942100"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED48828.2020.9137052"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2017.7951805"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.284"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060469"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060458"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203759"},{"key":"ref18","article-title":"Neural message passing for quantum chemistry","author":"gilmer","year":"0","journal-title":"Int Conf on Machine Learning"},{"key":"ref19","article-title":"Learning a SAT solver from single-bit supervision","author":"selsam","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495588"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3194554.3194596"},{"key":"ref5","article-title":"Mitigating sat attack on logic locking","author":"xie","year":"0","journal-title":"Conference of Cryptographic Hardware and Embedded Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858346"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2017.2740364"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2511144"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.261"},{"key":"ref9","article-title":"Novel bypass attack and bdd-based tradeoff analysis against all known logic locking attacks","author":"xu","year":"0","journal-title":"Conference of Cryptographic Hardware and Embedded Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.193"},{"key":"ref22","first-page":"1","article-title":"Minisat v l. 13-a sat solver with conflict-clause minimization","volume":"2005","author":"sorensson","year":"2005","journal-title":"SAT"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2014.6873671"},{"key":"ref24","article-title":"GLUCOSE: a solver that predicts learnt clauses quality","author":"audemard","year":"2009","journal-title":"Sat competition"},{"journal-title":"Lingeling plingeling and treengeling entering the sat competition","year":"2013","author":"biere","key":"ref23"}],"event":{"name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2021,2,1]]},"location":"Grenoble, France","end":{"date-parts":[[2021,2,5]]}},"container-title":["2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9473901\/9473226\/09474003.pdf?arnumber=9474003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,28]],"date-time":"2022-01-28T14:58:35Z","timestamp":1643381915000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9474003\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/date51398.2021.9474003","relation":{},"subject":[],"published":{"date-parts":[[2021,2,1]]}}}