{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:19Z","timestamp":1754161279541,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","funder":[{"DOI":"10.13039\/100018699","name":"HORIZON EUROPE Digital, Industry and Space","doi-asserted-by":"publisher","award":["101070238"],"award-info":[{"award-number":["101070238"]}],"id":[{"id":"10.13039\/100018699","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728597","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:10:43Z","timestamp":1753729843000},"page":"1139-1142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1485-0068","authenticated-orcid":false,"given":"Francesco","family":"Pagano","sequence":"first","affiliation":[{"name":"University of Verona, Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7325-0316","authenticated-orcid":false,"given":"Mariano","family":"Ceccato","sequence":"additional","affiliation":[{"name":"University of Verona, Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2272-2376","authenticated-orcid":false,"given":"Alessio","family":"Merlo","sequence":"additional","affiliation":[{"name":"CASD - School of Advanced Defense Studies, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3088-0339","authenticated-orcid":false,"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"NDSS","volume":"1","author":"Woo Maverick","year":"2016","unstructured":"DamingDChen, Maverick Woo, David Brumley, and Manuel Egele. 2016. Towards automated dynamic analysis for linux-based embedded firmware.. In NDSS, Vol. 1. Internet Society, San Diego, CA, USA, 1\u20131."},{"key":"e_1_3_2_1_2_1","first-page":"W2","year":"2025","unstructured":"fileinfo.com. Accessed in May 27, 2025. QCOW2. https:\/\/fileinfo.com\/extension\/qcow2.","journal-title":"Accessed in"},{"volume-title":"Accessed","year":"2025","key":"e_1_3_2_1_3_1","unstructured":"flask.palletsprojects.com. Accessed in May 27, 2025. Flask. https:\/\/flask.palletsprojects.com\/en\/3.0.x\/."},{"volume-title":"Accessed","year":"2025","key":"e_1_3_2_1_4_1","unstructured":"gigamon.com. Accessed in May 27, 2025. Understanding Network TAPs - The First Step to Visibility. https:\/\/www.gigamon.com\/resources\/resource-library\/white-paper\/understanding-network-taps-first-step-to-visibility.html."},{"volume-title":"Accessed","year":"2025","key":"e_1_3_2_1_5_1","unstructured":"github.com. Accessed in May 27, 2025. Androguard. https:\/\/github.com\/androguard\/androguard."},{"volume-title":"Accessed","year":"2025","key":"e_1_3_2_1_6_1","unstructured":"github.com. Accessed in May 27, 2025. JmDNS. https:\/\/github.com\/jmdns\/jmdns."},{"volume-title":"Accessed","year":"2025","key":"e_1_3_2_1_7_1","unstructured":"github.com. Accessed in May 27, 2025. PHP-Parser. https:\/\/github.com\/nikic\/PHP-Parser."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 36th Annual Computer Security Applications Conference. Association for Computing Machinery","author":"Kim Mingeun","year":"2020","unstructured":"Mingeun Kim, Dongkwan Kim, Eunsoo Kim, Suryeon Kim, Yeongjin Jang, and Yongdae Kim. 2020. Firmae: Towards large-scale emulation of iot firmware for dynamic analysis. In Proceedings of the 36th Annual Computer Security Applications Conference. Association for Computing Machinery, Virtual Event, USA, 733\u2013745."},{"volume-title":"Accessed","year":"2025","key":"e_1_3_2_1_9_1","unstructured":"qemu.org. Accessed in May 27, 2025. QEMU. https:\/\/www.qemu.org."},{"volume-title":"Accessed","year":"2025","key":"e_1_3_2_1_10_1","unstructured":"qemu.org. Accessed in May 27, 2025. QEMU Networking. https:\/\/wiki.qemu.org\/Documentation\/Networking."},{"volume-title":"Accessed","year":"2025","key":"e_1_3_2_1_11_1","unstructured":"renode.io. Accessed in May 27, 2025. Renode. https:\/\/renode.io."},{"volume-title":"org. Accessed","year":"2025","key":"e_1_3_2_1_12_1","unstructured":"rfc editor.org. Accessed in May 27, 2025. MDNS. https:\/\/www.rfc-editor.org\/rfc\/rfc6762."},{"key":"e_1_3_2_1_13_1","volume-title":"Deep Reinforcement Learning for Black-box Testing of Android Apps. ACM Trans. Softw. Eng. Methodol. 31, 4","author":"Romdhana Andrea","year":"2022","unstructured":"Andrea Romdhana, Alessio Merlo, Mariano Ceccato, and Paolo Tonella. 2022. Deep Reinforcement Learning for Black-box Testing of Android Apps. ACM Trans. Softw. Eng. Methodol. 31, 4 (2022), 65:1\u201365:29."}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:10:56Z","timestamp":1753729856000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":13,"alternative-id":["10.1145\/3696630.3728597","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728597","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}