{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:56:00Z","timestamp":1780674960489,"version":"3.54.1"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T00:00:00Z","timestamp":1723593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Federal Ministry of Education and Research","award":["01IW19001"],"award-info":[{"award-number":["01IW19001"]}]},{"name":"University of Bremen\u2019s graduate school System Design"},{"name":"German Excellence Initiative"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2024,9,30]]},"abstract":"<jats:p>\n            <jats:italic>Virtual Prototypes<\/jats:italic>\n            \u00a0(VPs) at the\n            <jats:italic>Electronic System Level<\/jats:italic>\n            \u00a0(ESL) are being increasingly adopted by the semiconductor industry and play an important role in modernizing the System-on-Chips (SoCs) design flow to raise design productivity and reduce time-to-market constraints. Due to their early availability and significantly faster simulation speed in comparison to\n            <jats:italic>Register Transfer Level<\/jats:italic>\n            (RTL) designs, VPs are used as reference models for lower levels of abstraction. Leveraging VPs and extending their use cases for early security validation are shown as a promising direction. As the cost of fixing any security flaws increases with the stage of development, VP-based security validation can significantly avoid costly iterations.\n          <\/jats:p>\n          <jats:p>In this article, we present a novel VP-based dynamic information flow analysis approach at the ESL, consisting of three main phases which are runtime behavior extraction (in terms of transactions), transactions transformation, and security validation. The proposed approach empowers designers to validate the information flow policies of a given VP-based SoC against the most occurring security threat models which are information leakage (confidentiality) and unauthorized access to data in a memory (integrity). Experimental results including an extensive set of standard benchmarks and two real-world VP-based SoCs demonstrate the scalability and applicability of the proposed approach.<\/jats:p>","DOI":"10.1145\/3544780","type":"journal-article","created":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T13:25:25Z","timestamp":1655904325000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Early SoCs Information Flow Policies Validation Using SystemC-Based Virtual Prototypes at the ESL"],"prefix":"10.1145","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1256-4140","authenticated-orcid":false,"given":"Mehran","family":"Goli","sequence":"first","affiliation":[{"name":"University of Bremen and DFKI Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9872-1740","authenticated-orcid":false,"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen and DFKI Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,8,14]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927266"},{"key":"e_1_3_1_3_2","volume-title":"OSCI TLM-2.0 Language Reference Manual","author":"Aynsley J.","year":"2009","unstructured":"J. Aynsley (Ed.). 2009. OSCI TLM-2.0 Language Reference Manual. Open SystemC Initiative (OSCI)."},{"key":"e_1_3_1_4_2","unstructured":"J. Aynsley. 2021. TLM-2.0 Base Protocol Checker. Retrieved 2021 from https:\/\/www.doulos.com\/knowhow\/systemc\/tlm2."},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2707327"},{"key":"e_1_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Mohammad-Mahdi Bidmeshki and Yiorgos Makris. 2015. Toward automatic proof generation for information flow policies in third-party hardware IP. In 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST). 163\u2013168.","DOI":"10.1109\/HST.2015.7140256"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2012.6134619"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037739"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2019.00081"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44282-8"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI49217.2020.00042"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431591"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643579"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/FDL53530.2021.9568377"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3074050"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3299874.3318024"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1515\/itit-2018-0027"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2016.7753303"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.65"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2889665"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2621999"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203805"},{"key":"e_1_3_1_24_2","first-page":"319","article-title":"A perspective on information-flow control.","volume":"33","author":"Hedin Daniel","year":"2012","unstructured":"Daniel Hedin and Andrei Sabelfeld. 2012. A perspective on information-flow control. Software Safety and Security 33 (2012), 319\u2013347.","journal-title":"Software Safety and Security"},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101756"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2120970"},{"key":"e_1_3_1_27_2","unstructured":"Accellera Systems Initiative.2016. http:\/\/www.accellera.org\/downloads\/standards\/systemc."},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2707323"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151042"},{"key":"e_1_3_1_30_2","first-page":"1","volume-title":"BSD","author":"Lattner C.","year":"2008","unstructured":"C. Lattner. 2008. LLVM and Clang: Next generation compiler technology. In BSD. 1\u20132."},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541947"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993512"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2011.2160627"},{"key":"e_1_3_1_34_2","volume-title":"ESL Design and Verification: A Prescription for Electronic System Level Methodology","author":"Martin Grant","year":"2007","unstructured":"Grant Martin, Brian Bailey, and Andrew Piziali. 2007. ESL Design and Verification: A Prescription for Electronic System Level Methodology. Morgan Kaufmann Publishers Inc., CA."},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218494"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2014.2320556"},{"key":"e_1_3_1_37_2","first-page":"1","volume-title":"ReCoSoC","author":"Schuster Thomas","year":"2014","unstructured":"Thomas Schuster, Rolf Meyer, Rainer Buchty, Luca Fossati, and Mladen Berekovic. 2014. SoCRocket\u2014 virtual platform for the European Space Agency\u2019s SoC development. In ReCoSoC. 1\u20137, http:\/\/github.com\/socrocket."},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/1037187.1024404"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508258"},{"key":"e_1_3_1_40_2","first-page":"121","volume-title":"USENIX Security Symposium","author":"Xu Wei","year":"2006","unstructured":"Wei Xu, Sandeep Bhatkar, and Ramachandran Sekar. 2006. Taint-enhanced policy enforcement: A practical approach to defeat a wide range of attacks.. In USENIX Security Symposium. 121\u2013136."},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694372"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544780","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3544780","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:25Z","timestamp":1750178785000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,14]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,9,30]]}},"alternative-id":["10.1145\/3544780"],"URL":"https:\/\/doi.org\/10.1145\/3544780","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,8,14]]},"assertion":[{"value":"2022-01-28","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-06-13","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}