{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:56:45Z","timestamp":1773615405183,"version":"3.50.1"},"reference-count":11,"publisher":"Allerton Press","issue":"5","license":[{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.3103\/s0146411616050096","type":"journal-article","created":{"date-parts":[[2016,11,11]],"date-time":"2016-11-11T07:05:42Z","timestamp":1478847942000},"page":"361-368","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Generating optimized gate level information flow tracking logic for enforcing multilevel security"],"prefix":"10.3103","volume":"50","author":[{"given":"Yu","family":"Tai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui-Xiang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"De-Jun","family":"Mu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xing-Li","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2016,11,12]]},"reference":[{"key":"6510_CR1","first-page":"85","volume-title":"Proc. 11th Int. Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS-XI)","author":"G.E. Suh","year":"2004","unstructured":"Suh, G.E., Lee, J.W., Zhang, D. and Devadas, S., Secure programexecution via dynamic information flow tracking, Proc. 11th Int. Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS-XI), New York, 2004, pp. 85\u201396."},{"key":"6510_CR2","first-page":"135","volume-title":"Proc. 39th Annu. IEEE\/ACM Int. Symp. Microarchitecture","author":"F. Qin","year":"2006","unstructured":"Qin, F., Wang, C., Li, Z., Kim, H.S., Zhou, Y., Wu, Y., Lift: Alow-overhead practical information flow tracking system for detecting security attacks, Proc. 39th Annu. IEEE\/ACM Int. Symp. Microarchitecture, 2006, pp. 135\u2013148."},{"key":"6510_CR3","first-page":"87","volume-title":"Proc. of PLDI\u201909","author":"O. Tripp","year":"2009","unstructured":"Tripp, O., Pistoia, M., Fink, S., Sridharan, M., and Weisman, O., TAJ: Effective Taint Analysis of Web Applications, Proc. of PLDI\u201909, Dublin, 2009, pp. 87\u201397."},{"key":"6510_CR4","first-page":"109","volume-title":"Proc. 14th Int. Conf. Architect. Support Programming Lang. Operating Syst. (ASPLOS)","author":"M. Tiwari","year":"2009","unstructured":"Tiwari, M., Wassel, H.M., Mazloom, B., Mysore, S., Chong, F.T., and Sherwood, T., Complete information flow tracking from the gates up, Proc. 14th Int. Conf. Architect. Support Programming Lang. Operating Syst. (ASPLOS), New York, 2009, pp. 109\u2013120."},{"issue":"8","key":"6510_CR5","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TCAD.2011.2120970","volume":"30","author":"W. Hu","year":"2011","unstructured":"Hu, W., Oberg, J., Irturk, A., Tiwari, M., Sherwood, T., and Kastner, R., Theoretical fundamentals of gate level information flow tracking, IEEE Trans. CAD, 2011, vol. 30, no. 8, pp. 1128\u20131140.","journal-title":"IEEE Trans. CAD"},{"issue":"3","key":"6510_CR6","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1109\/TIFS.2012.2189105","volume":"7","author":"W. Hu","year":"2012","unstructured":"Hu, W., Oberg, J., Irturk, A., Tiwari, M., Sherwood, T., Mu, D., and Kastner, R., On the complexity of generating gate level information flow tracking logic, IEEE Trans. Inf. Forensics Secur., 2012, vol. 7, no. 3, pp. 1067\u20131080.","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"key":"6510_CR7","volume-title":"IET Inf. Secur.","author":"D. Mu","year":"2013","unstructured":"Mu, D., Hu, W., Mao, B., and Ma, B., A bottom-up approach to verifiable embedded system information flow security, IET Inf. Secur., 2013 (in press)."},{"key":"6510_CR8","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/2024724.2024782","volume-title":"Proceedings of the 48th ACM\/EDAC\/IEEE Design Automation Conference (DAC'11)","author":"J. Oberg","year":"2011","unstructured":"Oberg, J., Hu, W., Irturk, A., Tiwari, M., Sherwood, T., and Kastner, R., Information flow isolation in i2c and usb, Proceedings of the 48th ACM\/EDAC\/IEEE Design Automation Conference (DAC'11), New York, 2011, pp. 254\u2013259."},{"issue":"9","key":"6510_CR9","doi-asserted-by":"publisher","first-page":"1288","DOI":"10.1109\/TCAD.2014.2331332","volume":"33","author":"J. Oberg","year":"2014","unstructured":"Oberg, J., Hu, W., Irturk, A., Tiwari, M., Sherwood, T., and Kastner, R., Leveraging gate-level properties to identify hardware timing channels, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 2014, vol. 33, no. 9, pp. 1288\u20131301.","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"6510_CR10","volume-title":"International Workshop on Logic and Synthesis (IWLS)","author":"W. Hu","year":"2011","unstructured":"Hu, W., Oberg, J., Irturk, A., Tiwari, M., Sherwood, T., Mu, D., and Kastner, R., An improved encoding technique for gate level information flow tracking, International Workshop on Logic and Synthesis (IWLS), 2011."},{"key":"6510_CR11","volume-title":"Cryptography and Data Security","author":"D.E. Denning","year":"1982","unstructured":"Denning, D.E., Cryptography and Data Security, Reading, MA, Addison-Wesley, 1982."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411616050096.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411616050096","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411616050096.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:59:27Z","timestamp":1773611967000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411616050096"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":11,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["6510"],"URL":"https:\/\/doi.org\/10.3103\/s0146411616050096","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]},"assertion":[{"value":"20 February 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 May 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 November 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}