Back to USENIX
Sign In
Conferences
Register Now
Attend
Registration Information
Registration Discounts
Grant Opportunities
Venue, Hotel, and Travel
Program
Technical Sessions
Cycle 1 Accepted Papers
Participate
Call for Papers
Call for Artifacts
Enigma Track Call for Participation
Call for Posters
Instructions for Presenters and Authors
Sponsors
Exhibitor Resources
About
Symposium Organizers
Past Symposia
Conference Policies
Code of Conduct
Questions
Generating Precise Format Specification for Network Protocols Through Adversarial LLM Interactions
Hengdi Ye, Bing Shui, Jielun Wu, Yufan Zhou, Baowen Xu, and Qingkai Shi,
Nanjing University