{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T03:05:32Z","timestamp":1785207932256,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T00:00:00Z","timestamp":1701129600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-18-1-266"],"award-info":[{"award-number":["N00014-18-1-266"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,28]]},"DOI":"10.1145\/3626111.3628205","type":"proceedings-article","created":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T12:11:20Z","timestamp":1699877480000},"page":"41-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["PROSPER"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-6681-4310","authenticated-orcid":false,"given":"Prakhar","family":"Sharma","sequence":"first","affiliation":[{"name":"SRI International"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0718-6605","authenticated-orcid":false,"given":"Vinod","family":"Yegneswaran","sequence":"additional","affiliation":[{"name":"SRI International"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,11,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the Second IASTED International Conference on Communications, Internet and Information Technology.","author":"Abdullah Ibrahim","year":"2003","unstructured":"Ibrahim Abdullah and Daniel Menasc\u00e9. 2003. Protocol specification and automatic implementation using XML and CBSE. Proceedings of the Second IASTED International Conference on Communications, Internet and Information Technology."},{"key":"e_1_3_2_1_2_1","volume-title":"Language Models are Few-Shot Learners. CoRR abs\/2005.14165","author":"Brown Tom B.","year":"2020","unstructured":"Tom B. Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel M. Ziegler, Jeffrey Wu, Clemens Winter, Christopher Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, and Dario Amodei. 2020. Language Models are Few-Shot Learners. CoRR abs\/2005.14165 (2020). arXiv:2005.14165 https:\/\/arxiv.org\/abs\/2005.14165"},{"key":"e_1_3_2_1_3_1","volume-title":"Burtsev","author":"Bulatov Aydar","year":"2022","unstructured":"Aydar Bulatov, Yuri Kuratov, and Mikhail S. Burtsev. 2022. Recurrent Memory Transformer. Advances in Neural Information Processing Systems. arXiv:cs.CL\/2207.06881"},{"key":"e_1_3_2_1_4_1","volume-title":"Inference and Analysis of Formal Models of Botnet Command and Control Protocols. In ACM Conference on Computer and Communications Security (CCS).","author":"Cho Chia Yuan","year":"2010","unstructured":"Chia Yuan Cho, Domagoj Babic, Eui Chul, Richard Shin, and Dawn Song. 2010. Inference and Analysis of Formal Models of Botnet Command and Control Protocols. In ACM Conference on Computer and Communications Security (CCS)."},{"key":"e_1_3_2_1_5_1","volume-title":"MACE: Model-Inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery. In USENIX Security Symposium.","author":"Cho Chia Yuan","year":"2011","unstructured":"Chia Yuan Cho, Domagoj Babi\u0107, Pongsin Poosankam, Kevin Zhijie Chen, Edward XueJun Wu, and Dawn Song. 2011. MACE: Model-Inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery. In USENIX Security Symposium."},{"key":"e_1_3_2_1_6_1","volume-title":"Prospex: Protocol Specification Extraction. In IEEE Symposium on Security and Privacy (SP).","author":"Comparetti Paolo Milani","year":"2009","unstructured":"Paolo Milani Comparetti, Gilbert Wondracek, Christopher Kruegel†, and Engin Kirda‡. 2009. Prospex: Protocol Specification Extraction. In IEEE Symposium on Security and Privacy (SP)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_8_1","volume-title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding.","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. (2019). arXiv:cs.CL\/1810.04805"},{"key":"e_1_3_2_1_9_1","unstructured":"Maarten Grootendorst. 2022. BERTopic: Neural topic modeling with a class-based TF-IDF procedure. (2022). arXiv:cs.CL\/2203.05794"},{"key":"e_1_3_2_1_10_1","volume-title":"BERTopic: Neural topic modeling with a class-based TF-IDF procedure. arXiv preprint arXiv:2203.05794","author":"Grootendorst Maarten","year":"2022","unstructured":"Maarten Grootendorst. 2022. BERTopic: Neural topic modeling with a class-based TF-IDF procedure. arXiv preprint arXiv:2203.05794 (2022)."},{"key":"e_1_3_2_1_11_1","unstructured":"Bin Ji. 2023. VicunaNER: Zero\/Few-shot Named Entity Recognition using Vicuna. (2023). arXiv:cs.CL\/2305.03253"},{"key":"e_1_3_2_1_12_1","volume-title":"Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa.","author":"Kojima Takeshi","year":"2023","unstructured":"Takeshi Kojima, Shixiang Shane Gu, Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa. 2023. Large Language Models are Zero-Shot Reasoners. (2023). arXiv:cs.CL\/2205.11916"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2008.62"},{"key":"e_1_3_2_1_14_1","volume-title":"RESDSQL: Decoupling Schema Linking and Skeleton Parsing for Text-to-SQL.","author":"Li Haoyang","year":"2023","unstructured":"Haoyang Li, Jing Zhang, Cuiping Li, and Hong Chen. 2023. RESDSQL: Decoupling Schema Linking and Skeleton Parsing for Text-to-SQL. (2023)."},{"key":"e_1_3_2_1_15_1","volume-title":"IEEE International Symposium on Computer Architecture (ISCA).","author":"Lie David","unstructured":"David Lie, Andy Chou, Dawson Engler, and David L. Dill. 2001. A Simple Method for Extracting Models from Protocol Code. In IEEE International Symposium on Computer Architecture (ISCA)."},{"key":"e_1_3_2_1_16_1","unstructured":"Long Ouyang Jeff Wu Xu Jiang Diogo Almeida Carroll L. Wainwright Pamela Mishkin Chong Zhang Sandhini Agarwal Katarina Slama Alex Ray John Schulman Jacob Hilton Fraser Kelton Luke Miller Maddie Simens Amanda Askell Peter Welinder Paul Christiano Jan Leike and Ryan Lowe. 2022. Training language models to follow instructions with human feedback. arXiv:cs.CL\/2203.02155"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Maria Lenore Pacheco Max von Hippel Ben Weintraub Dan Goldwasser and Cristina Nita-Rotaru. 2022. Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. (2022).","DOI":"10.1109\/SP46214.2022.9833673"},{"key":"e_1_3_2_1_18_1","volume-title":"WHYPER: Towards Automating Risk Assessment of Mobile Applications.","author":"Pandita Rahul","year":"2013","unstructured":"Rahul Pandita, Xusheng Xiao, Wei Yang, William Enck, and Tao Xie. 2013. WHYPER: Towards Automating Risk Assessment of Mobile Applications. (2013)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1142"},{"key":"e_1_3_2_1_20_1","volume-title":"A Little More Action: A Modular Framework for Network Troubleshooting. CoRR abs\/1702.08827","author":"Pelle Istv\u00e1n","year":"2017","unstructured":"Istv\u00e1n Pelle, Felici\u00e1n N\u00e9meth, and Andr\u00e1s Guly\u00e1s. 2017. A Little Less Interaction, A Little More Action: A Modular Framework for Network Troubleshooting. CoRR abs\/1702.08827 (2017). arXiv:1702.08827 http:\/\/arxiv.org\/abs\/1702.08827"},{"key":"e_1_3_2_1_21_1","volume-title":"Taesoo Kim, and Wenke Lee.","author":"Qian Chenxiong","year":"2019","unstructured":"Chenxiong Qian, Hong Hu, Mansour Alharthi, Pak Ho Chung, Taesoo Kim, and Wenke Lee. 2019. Razor: A Framework for Post-deployment Software Debloating. (2019)."},{"key":"e_1_3_2_1_22_1","unstructured":"Hugo Touvron Thibaut Lavril Gautier Izacard Xavier Martinet Marie-Anne Lachaux Timoth\u00e9e Lacroix Baptiste Rozi\u00e8re Naman Goyal Eric Hambro Faisal Azhar Aurelien Rodriguez Armand Joulin Edouard Grave and Guillaume Lample. 2023. LLaMA: Open and Efficient Foundation Language Models. (2023). arXiv:cs.CL\/2302.13971"},{"key":"e_1_3_2_1_23_1","unstructured":"Ashish Vaswani Noam Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan N. Gomez Lukasz Kaiser and Illia Polosukhin. 2017. Attention Is All You Need. In Advances in Neural Information Processing Systems. 5998--6008."},{"key":"e_1_3_2_1_24_1","unstructured":"Max von Hippel Cole Vick Stavros Tripakis and Cristina Nita-Rotaru. 2022. Automated Attacker Synthesis for Distributed Protocols. (2022). arXiv:cs.CR\/2004.01220"},{"key":"e_1_3_2_1_25_1","volume-title":"Buyun Qu Danfeng (Daphne) Yao, and Li Guo","author":"Wang Yipeng","year":"2011","unstructured":"Yipeng Wang, Zhibin Zhang, Buyun Qu Danfeng (Daphne) Yao, and Li Guo. 2011. Inferring Protocol State Machine from Network Traces: A Probabilistic Approach. In Applied Cryptography and Network Security (ACNS)."},{"key":"e_1_3_2_1_26_1","volume-title":"Tatsunori Hashimoto, Oriol Vinyals, Percy Liang, Jeff Dean, and William Fedus.","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Yi Tay, Rishi Bommasani, Colin Raffel, Barret Zoph, Sebastian Borgeaud, Dani Yogatama, Maarten Bosma, Denny Zhou, Donald Metzler, Ed H. Chi, Tatsunori Hashimoto, Oriol Vinyals, Percy Liang, Jeff Dean, and William Fedus. 2022. Emergent Abilities of Large Language Models. (2022). arXiv:cs.CL\/2206.07682"},{"key":"e_1_3_2_1_27_1","volume-title":"DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing. In ACM\/IEEE International Conference on Software Engineering (ICSE).","author":"Wong Edmund","year":"2015","unstructured":"Edmund Wong, Lei Zhang, Song Wang, Taiyue Liu, and Lin Tan. 2015. DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing. In ACM\/IEEE International Conference on Software Engineering (ICSE)."},{"key":"e_1_3_2_1_28_1","unstructured":"Hui Yang Sifu Yue and Yunzhong He. 2023. Auto-GPT for Online Decision Making: Benchmarks and Additional Opinions. (2023). arXiv:cs.AI\/2306.02224"},{"key":"e_1_3_2_1_29_1","volume-title":"Semi-Automated Protocol Disambiguation and Code Generation","author":"Yen Jane","year":"2020","unstructured":"Jane Yen, Tam\u00e1s L\u00e9vai, Qinyuan Ye, Xiang Ren, Ramesh Govindan, and Barath Raghavan. 2020. Semi-Automated Protocol Disambiguation and Code Generation. Special Interest Group on Data Communication (SIGCOMM)aa (2020)."},{"key":"e_1_3_2_1_30_1","volume-title":"Ziwen Han, Keiran Paster, Silviu Pitis, Harris Chan, and Jimmy Ba.","author":"Zhou Yongchao","year":"2022","unstructured":"Yongchao Zhou, Andrei Ioan Muresanu, Ziwen Han, Keiran Paster, Silviu Pitis, Harris Chan, and Jimmy Ba. 2022. Large Language Models Are Human-Level Prompt Engineers. (2022). arXiv:cs.LG\/2211.01910"}],"event":{"name":"HotNets '23: The 22nd ACM Workshop on Hot Topics in Networks","location":"Cambridge MA USA","acronym":"HotNets '23","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 22nd ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626111.3628205","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3626111.3628205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T19:38:09Z","timestamp":1755891489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626111.3628205"}},"subtitle":["Extracting Protocol Specifications Using Large Language Models"],"short-title":[],"issued":{"date-parts":[[2023,11,28]]},"references-count":30,"alternative-id":["10.1145\/3626111.3628205","10.1145\/3626111"],"URL":"https:\/\/doi.org\/10.1145\/3626111.3628205","relation":{},"subject":[],"published":{"date-parts":[[2023,11,28]]},"assertion":[{"value":"2023-11-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}