{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T15:09:56Z","timestamp":1777734596037,"version":"3.51.4"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/hst.2012.6224313","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T15:35:17Z","timestamp":1341848117000},"page":"21-24","source":"Crossref","is-referenced-by-count":33,"title":["A novel method for watermarking sequential circuits"],"prefix":"10.1109","author":[{"given":"Matthew","family":"Lewandowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Meana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Morrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srinivas","family":"Katkoori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1995.486392"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/INDICO.2004.1497696"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.1990.140687"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/0009-2614(70)80185-3"},{"key":"16","doi-asserted-by":"crossref","first-page":"2309","DOI":"10.1109\/ISCAS.1995.523891","article-title":"State encoding of finite state machines for low power design","volume":"3","author":"chen","year":"1995","journal-title":"Circuits and Systems 1995 ISCAS '95 1995 IEEE International Symposium on"},{"key":"13","article-title":"Gedanken-experiments on sequential machines","volume":"308","author":"moore","year":"1969","journal-title":"IEEE Criteria for Class IE Electric Systems (Standards Style) IEEE Standard"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.2307\/2963669"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICIIS.2006.365790"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.32"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1985.1270123"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1049\/el:20052307"},{"key":"22","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1145\/74382.74435","article-title":"general decomposition of sequential machines: relationships to state assignment","author":"devadas","year":"1989","journal-title":"26th ACM\/IEEE Design Automation Conference"},{"key":"23","first-page":"367","article-title":"MUSE: A multilevel symbolic encoding algorithm for state assignment","volume":"1","author":"du xuejun","year":"1990","journal-title":"Proc Hawaii Int Conf Syst Sci"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.1994.379749"},{"key":"25","first-page":"432","article-title":"SAT-based state encoding for peak current minimization","author":"lee","year":"2009","journal-title":"SoC Design Conference (ISOCC) 2009 International"},{"key":"26","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1049\/ip-cdt:20010210","article-title":"finite state machine encoding for vhdl synthesis","volume":"148","author":"kuusilinna","year":"2001","journal-title":"Computers and Digital Techniques IEE Proceedings-"},{"key":"27","first-page":"47","article-title":"Pajek-program for large network analysis","volume":"21","author":"batagelj","year":"1998","journal-title":"Connections"},{"key":"28","first-page":"361","article-title":"Gephi: An open source software for exploring and manipulating networks","author":"bastian","year":"0","journal-title":"Weblogs and Social Media 2009 Proceedings of the Third International AAAI ICWSM Conference on"},{"key":"29","first-page":"1","article-title":"Logic synthesis and optimization benchmarks user guide version 3.0","author":"yang","year":"1991","journal-title":"Microelectronics Center of North Carolina (MCNC) 1991"},{"key":"3","first-page":"518","article-title":"The evolution of electronic publishing","volume":"43","author":"lancaster","year":"1995","journal-title":"Library Trends 1995"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/49.464718"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2028166"},{"key":"1","article-title":"Electronic water mark","author":"tirkel","year":"1993","journal-title":"Digital Image Computing Techniques and Applications"},{"key":"30","first-page":"7167","author":"garey","year":"1979","journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.1999.777239"},{"key":"6","first-page":"782","article-title":"Robust IP watermarking methodologies for physical design","author":"kahng","year":"1998","journal-title":"Design Automation Conference 1998 Proceedings"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.1998.694985"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.1998.694986"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.782155"},{"key":"8","year":"0","journal-title":"International Workshop on Logic Synthesis IWLS'93"}],"event":{"name":"2012 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)","location":"San Francisco, CA, USA","start":{"date-parts":[[2012,6,3]]},"end":{"date-parts":[[2012,6,4]]}},"container-title":["2012 IEEE International Symposium on Hardware-Oriented Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218991\/6224308\/06224313.pdf?arnumber=6224313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:07:25Z","timestamp":1497978445000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6224313\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/hst.2012.6224313","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}