{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:53:56Z","timestamp":1762865636435,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,10]],"date-time":"2010-06-10T00:00:00Z","timestamp":1276128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,6,10]]},"DOI":"10.1145\/1814217.1814225","type":"proceedings-article","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T18:52:58Z","timestamp":1276282378000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Secure information flow analysis for hardware design"],"prefix":"10.1145","author":[{"given":"Xun","family":"Li","sequence":"first","affiliation":[{"name":"University of California, Santa Barbara"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohit","family":"Tiwari","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Hardekopf","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"Sherwood","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic T.","family":"Chong","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"OpenSPARC project. http:\/\/www.opensparc.net.  OpenSPARC project. http:\/\/www.opensparc.net."},{"volume-title":"12th Annual Network and Distributed System Security Symposium (NDSS)","year":"2005","author":"Newsome James","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.26"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250722"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"volume-title":"MIT Press","year":"2000","author":"Clarke E. M.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024404"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050014"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/647171.718325"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"C. Hymans. Design and implementation of an abstract interpreter for vhdl. D. Geist and E. Tronci editors CHARME 2860 of LNCS 2003.  C. Hymans. Design and implementation of an abstract interpreter for vhdl. D. Geist and E. Tronci editors CHARME 2860 of LNCS 2003.","DOI":"10.1007\/978-3-540-39724-3_23"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294293"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1985.10005"},{"key":"e_1_3_2_1_15_1","unstructured":"A. C. Myers N. Nystrom L. Zheng and S. Zdancewic. Jif: Java information flow. Software release. http:\/\/www.cs.cornell.edu\/jif July 2001.  A. C. Myers N. Nystrom L. Zheng and S. Zdancewic. Jif: Java information flow. Software release. http:\/\/www.cs.cornell.edu\/jif July 2001."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378538"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"volume-title":"7th International Workshop on Worst-Case Execution Time (WCET) Analysis","year":"2007","author":"Schlickling M.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","unstructured":"E. Technologies. The Esterel v7 Reference Manual version v7.30 - initial IEEE standardization proposal edition. 2005.  E. Technologies. The Esterel v7 Reference Manual version v7.30 - initial IEEE standardization proposal edition . 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669174"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508258"},{"volume-title":"Technical University of Denmark","year":"2006","author":"Tolstrup T. K.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11535294_8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.31"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2008.4658637"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646620.697712"},{"volume-title":"Proceedings of the 5th Intl Workshop on Worst-Case Execution Time (WCET) Analysis","year":"2005","author":"Wilhelm S.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1387589.1387610"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267308.1267327"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855757"}],"event":{"name":"PLDI '10: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Toronto Canada","acronym":"PLDI '10"},"container-title":["Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1814217.1814225","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1814217.1814225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:47Z","timestamp":1750245767000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1814217.1814225"}},"subtitle":["using the right abstraction for the job"],"short-title":[],"issued":{"date-parts":[[2010,6,10]]},"references-count":30,"alternative-id":["10.1145\/1814217.1814225","10.1145\/1814217"],"URL":"https:\/\/doi.org\/10.1145\/1814217.1814225","relation":{},"subject":[],"published":{"date-parts":[[2010,6,10]]},"assertion":[{"value":"2010-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}