{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:55:07Z","timestamp":1730220907831,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/ets.2017.7968247","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T17:54:01Z","timestamp":1499709241000},"page":"1-6","source":"Crossref","is-referenced-by-count":15,"title":["Specification and verification of security in reconfigurable scan networks"],"prefix":"10.1109","author":[{"given":"Michael A.","family":"Kochte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Sauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura Rodriguez","family":"Gomez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Raiola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Joachim","family":"Wunderlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2014.2304492"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2011.5783765"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2010.2089071"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2011.5954998"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744823"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495569"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.9"},{"key":"ref17","article-title":"Security Features in the i.MX31 and i.MX31L Multimedia Applications Processors","author":"ashkenazi","year":"2005","journal-title":"freescale Whitepaper IMX31SECURITYWP"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-010-5170-y"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2012.2208209"},{"key":"ref28","first-page":"1","article-title":"Applications of craig interpolants in model checking","volume":"3440","author":"mcmillan","year":"2005","journal-title":"TACAS Ser LNCS"},{"journal-title":"How to JTAG your Xbox 360 and run homebrew","year":"2016","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref3","article-title":"Fault management in an IEEE P1687 (IJTAG) environment","author":"larsson","year":"2012","journal-title":"Proc IEEE Int'l Symp Design and Diagnostics of Electronic Circuits Systems (DDECS)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2009.09.007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0122-4"},{"key":"ref5","article-title":"iPhone Hacks Annoy AT&T but Are Unlikely to Bruise Apple","author":"greenemeier","year":"2007","journal-title":"Scientific American"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2004.1319691"},{"key":"ref7","first-page":"9","article-title":"Design Principles for Tamper-Resistant Smartcard Processors","author":"k\u00f6mmerling","year":"1999","journal-title":"Proc USENIX Workshop on Smartcard Technology (WOST) USENIX"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7563-8"},{"journal-title":"Introduction to Hardware Security and Trust","year":"2011","author":"tehranipoor","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2006.297620"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2013.6651903"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2391266"},{"key":"ref21","first-page":"195:1","article-title":"Making It Harder to Unlock an LSIB: Honey traps and Misdirection in a P1687 Network","author":"zygmontowicz","year":"2014","journal-title":"Proc Design Automation and Test in Europe (DATE) Conf"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-014-5484-2"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2013.61"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2016.7519290"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2699863"}],"event":{"name":"2017 22nd IEEE European Test Symposium (ETS)","start":{"date-parts":[[2017,5,22]]},"location":"Limassol, Cyprus","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 22nd IEEE European Test Symposium (ETS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7960777\/7968199\/07968247.pdf?arnumber=7968247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T22:33:54Z","timestamp":1506983634000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7968247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/ets.2017.7968247","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}