{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T18:18:21Z","timestamp":1767896301325,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T00:00:00Z","timestamp":1559433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Bundesministerium f\u00fcr Bildung und Forschung","award":["16ES0565, 16KIS0821K"],"award-info":[{"award-number":["16ES0565, 16KIS0821K"]}]},{"name":"Deutsche Exzellenzinitiative"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,2]]},"DOI":"10.1145\/3316781.3317807","type":"proceedings-article","created":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T18:07:13Z","timestamp":1558634833000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Early Concolic Testing of Embedded Binaries with Virtual Prototypes"],"prefix":"10.1145","author":[{"given":"Vladimir","family":"Herdt","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, Bremen, Germany and Cyber-Physical Systems, DFKI GmbH, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang M.","family":"Le","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, Bremen, Germany and Cyber-Physical Systems, DFKI GmbH, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"FreeRTOS TCP\/IP stack vulnerabilities put a wide range of devices at risk of compromise: From smart homes to critical infrastructure systems. https:\/\/blog.zimperium.com\/freertos-tcpip-stack-vulnerabilities-put-wide-range-devices-risk-compromise-smart-homes-critical-infrastructure-systems.  FreeRTOS TCP\/IP stack vulnerabilities put a wide range of devices at risk of compromise: From smart homes to critical infrastructure systems. https:\/\/blog.zimperium.com\/freertos-tcpip-stack-vulnerabilities-put-wide-range-devices-risk-compromise-smart-homes-critical-infrastructure-systems."},{"key":"e_1_3_2_1_2_1","unstructured":"Porting FreeRTOS+TCP to a different microcontroller. https:\/\/www.freertos.org\/FreeRTOS-Plus\/FreeRTOS_Plus_TCP\/Embedded_Ethernet_Porting.html.  Porting FreeRTOS+TCP to a different microcontroller. https:\/\/www.freertos.org\/FreeRTOS-Plus\/FreeRTOS_Plus_TCP\/Embedded_Ethernet_Porting.html."},{"key":"e_1_3_2_1_3_1","unstructured":"RISC-V Foundation. https:\/\/riscv.org\/.  RISC-V Foundation. https:\/\/riscv.org\/."},{"key":"e_1_3_2_1_4_1","first-page":"1538","volume-title":"DATE","author":"Ahmed A.","year":"2018","unstructured":"A. Ahmed , F. Farahmandi , and P. Mishra . Directed test generation using concolic testing on RTL models . In DATE , pages 1538 -- 1543 , 2018 . A. Ahmed, F. Farahmandi, and P. Mishra. Directed test generation using concolic testing on RTL models. In DATE, pages 1538--1543, 2018."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656080"},{"key":"e_1_3_2_1_6_1","first-page":"209","volume-title":"OSDI","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI , pages 209 -- 224 , 2008 . C. Cadar, D. Dunbar, and D. R. Engler. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, pages 209--224, 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.31"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950396"},{"key":"e_1_3_2_1_9_1","first-page":"309","volume-title":"USENIX Security","author":"Corteggiani N.","year":"2018","unstructured":"N. Corteggiani , G. Camurati , and A. Francillon . Inception: System-wide security testing of real-world embedded systems software . In USENIX Security , pages 309 -- 326 , 2018 . N. Corteggiani, G. Camurati, and A. Francillon. Inception: System-wide security testing of real-world embedded systems software. In USENIX Security, pages 309--326, 2018."},{"key":"e_1_3_2_1_10_1","first-page":"463","volume-title":"USENIX Security","author":"Davidson D.","year":"2013","unstructured":"D. Davidson , B. Moench , T. Ristenpart , and S. Jha . FIE on firmware: Finding vulnerabilities in embedded systems using symbolic execution . In USENIX Security , pages 463 -- 478 , 2013 . D. Davidson, B. Moench, T. Ristenpart, and S. Jha. FIE on firmware: Finding vulnerabilities in embedded systems using symbolic execution. In USENIX Security, pages 463--478, 2013."},{"key":"e_1_3_2_1_11_1","volume-title":"NDSS","author":"Godefroid P.","year":"2008","unstructured":"P. Godefroid , M. Y. Levin , and D. A. Molnar . Automated whitebox fuzz testing . In NDSS , 2008 . P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated whitebox fuzz testing. In NDSS, 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3631-5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2018.8524047"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967016"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846638"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679400"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196055"},{"key":"e_1_3_2_1_18_1","first-page":"1666","year":"2011","unstructured":"IEEE. IEEE Standard SystemC Language Reference Manual. IEEE Std. 1666 , 2011 . IEEE. IEEE Standard SystemC Language Reference Manual. IEEE Std. 1666, 2011.","journal-title":"IEEE. IEEE Standard SystemC Language Reference Manual. IEEE Std."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2018.8357256"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062253"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2017.8242038"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_23_1","volume-title":"The RISC-V Instruction Set Manual","author":"Waterman A.","year":"2017","unstructured":"A. Waterman and K. Asanovi\u0107 . The RISC-V Instruction Set Manual ; Volume I: User- Level ISA. SiFive Inc. and CS Division, EECS Department, University of California , Berkeley, 2017 . A. Waterman and K. Asanovi\u0107. The RISC-V Instruction Set Manual; Volume I: User-Level ISA. SiFive Inc. and CS Division, EECS Department, University of California, Berkeley, 2017."},{"key":"e_1_3_2_1_24_1","volume-title":"The RISC-V Instruction Set Manual","author":"Waterman A.","year":"2017","unstructured":"A. Waterman and K. Asanovi\u0107 . The RISC-V Instruction Set Manual ; Volume II : Privileged Architecture. SiFive Inc. and CS Division, EECS Department, University of California , Berkeley, 2017 . A. Waterman and K. Asanovi\u0107. The RISC-V Instruction Set Manual; Volume II: Privileged Architecture. SiFive Inc. and CS Division, EECS Department, University of California, Berkeley, 2017."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23229"}],"event":{"name":"DAC '19: The 56th Annual Design Automation Conference 2019","location":"Las Vegas NV USA","acronym":"DAC '19","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 56th Annual Design Automation Conference 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316781.3317807","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316781.3317807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:03Z","timestamp":1750208883000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316781.3317807"}},"subtitle":["A RISC-V Case Study"],"short-title":[],"issued":{"date-parts":[[2019,6,2]]},"references-count":25,"alternative-id":["10.1145\/3316781.3317807","10.1145\/3316781"],"URL":"https:\/\/doi.org\/10.1145\/3316781.3317807","relation":{},"subject":[],"published":{"date-parts":[[2019,6,2]]},"assertion":[{"value":"2019-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}