{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T16:42:47Z","timestamp":1764693767346,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,4]]},"DOI":"10.1145\/3737898.3769040","type":"proceedings-article","created":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T16:39:29Z","timestamp":1764693569000},"page":"7-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["PHOENIX: Protocol State Machine Recovery from Events in 5G Logs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-2889-5585","authenticated-orcid":false,"given":"Qingyuan","family":"Zheng","sequence":"first","affiliation":[{"name":"University of California San Diego La Jolla, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-0289-1938","authenticated-orcid":false,"given":"Ushasi","family":"Ghosh","sequence":"additional","affiliation":[{"name":"University of California San Diego La Jolla, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9280-9581","authenticated-orcid":false,"given":"Ali","family":"Mamaghani","sequence":"additional","affiliation":[{"name":"University of California San Diego La Jolla, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5882-6433","authenticated-orcid":false,"given":"Srinivas","family":"Shakkottai","sequence":"additional","affiliation":[{"name":"Texas A&M University College Station, Texas, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3518-4722","authenticated-orcid":false,"given":"Dinesh","family":"Bharadia","sequence":"additional","affiliation":[{"name":"ECE Department, University of California San Diego La Jolla, California, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,12,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3362598"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2017.13"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2310.04381"},{"key":"e_1_3_2_1_4_1","unstructured":"D. Shin S. Messaoudi D. Bianculli A. Panichella L. Briand and R. Sasnauskas. 2020. Scalable Inference of System-level Models from Component Logs. arXiv preprint arXiv:1908.02329. Available at https:\/\/arxiv.org\/abs\/1908.02329."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 33rd USENIX Security Symposium (SEC '24)","author":"Tu Kai","year":"2024","unstructured":"Kai Tu, Fei Cui, Runqing Ding, Lei Wang, Yuqing Zhang, and Zhiqiang Lin. 2024. Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands. In Proceedings of the 33rd USENIX Security Symposium (SEC '24). USENIX Association, Article 172, 3063--3080 pages."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2013.6671305"}],"event":{"name":"ACM MobiCom '25: The 31st Annual International Conference on Mobile Computing and Networking","location":"Hong Kong China","acronym":"S3 '25","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing"]},"container-title":["Proceedings of the 16th ACM Workshop on Wireless of the Students, by the Students, for the Students"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3737898.3769040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T16:39:30Z","timestamp":1764693570000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3737898.3769040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,4]]},"references-count":6,"alternative-id":["10.1145\/3737898.3769040","10.1145\/3737898"],"URL":"https:\/\/doi.org\/10.1145\/3737898.3769040","relation":{},"subject":[],"published":{"date-parts":[[2025,11,4]]},"assertion":[{"value":"2025-12-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}