{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:38:18Z","timestamp":1780673898505,"version":"3.54.1"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2011,8,1]],"date-time":"2011-08-01T00:00:00Z","timestamp":1312156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/tcad.2011.2120970","type":"journal-article","created":{"date-parts":[[2011,7,13]],"date-time":"2011-07-13T17:29:38Z","timestamp":1310578178000},"page":"1128-1140","source":"Crossref","is-referenced-by-count":62,"title":["Theoretical Fundamentals of Gate Level Information Flow Tracking"],"prefix":"10.1109","volume":"30","author":[{"given":"Wei","family":"Hu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jason","family":"Oberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ali","family":"Irturk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohit","family":"Tiwari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Timothy","family":"Sherwood","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dejun","family":"Mu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ryan","family":"Kastner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref31","year":"0","journal-title":"Espresso A Multi-Valued PLA Minimization"},{"key":"ref30","year":"0","journal-title":"ABC A System for Sequential Synthesis and Verification"},{"key":"ref10","article-title":"Challenges for information-flow security","author":"zdancewic","year":"2004","journal-title":"Proc 1st Int Workshop PLID"},{"key":"ref11","author":"denning","year":"1982","journal-title":"Cryptography and Data Security"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","article-title":"A sound type system for secure flow analysis","volume":"4","author":"volpano","year":"1996","journal-title":"J Comput Security"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"ref14","author":"myers","year":"2001","journal-title":"Jif Java Information Flow (Software Release)"},{"key":"ref15","author":"hurst","year":"2004","journal-title":"Analysis of Perl's Taint Mode"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2008.4536382"},{"key":"ref17","author":"lewis","year":"2008","journal-title":"SHIFT+M Software-hardware information flow tracking on multi-core"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250722"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2008.4658637"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(78)90168-1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095813"},{"key":"ref27","author":"mccluskey","year":"1965","journal-title":"Introduction to the Theory of Switching Circuits"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024404"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/11847465_16","article-title":"Approximate Boolean reasoning: Foundations and applications in data mining","volume":"4100","author":"nguyen","year":"2006","journal-title":"Transactions on Rough Sets V"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294293"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669174"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508258"},{"key":"ref2","author":"bell","year":"1973","journal-title":"Secure Computer Systems Mathematical Foundations"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837337"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.20"},{"key":"ref22","year":"0","journal-title":"Boeing Model 787-8 Airplane Systems and Data Networks Securityisolation or Protection From Unauthorized Passenger Domain Systems Access"},{"key":"ref21","author":"bernstein","year":"2005","journal-title":"Cache-timing attacks on AES"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ETC.1989.36218"},{"key":"ref23","author":"wang","year":"1991","journal-title":"Digital Circuit Testing A Guide to DFT and Other Techniques"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1147\/rd.92.0090"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/43.46788"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/5956447\/05948366.pdf?arnumber=5948366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:52:52Z","timestamp":1633909972000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5948366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":31,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2011.2120970","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8]]}}}