LLM-Driven Protocol Specification Generation

SPAR

Automatically generating precise, verified format specifications for network protocols from RFC documents through adversarial LLM interactions.

30+
Zero-Day Bugs Found
8+
Protocols Covered
Security'26
Accepted
Paper Code

Writing precise protocol format specifications by hand is tedious and error-prone. SPAR leverages LLMs with adversarial refinement to generate verified specifications automatically from RFC documents.

🤖

LLM-Driven Generation

Automatically produces precise packet format specifications from natural-language RFC documents.

🔄

Adversarial Refinement Loop

Two heterogeneous LLM tasks rarely make the same mistake — an adversarial loop exposes their inconsistencies and corrects errors until no changes remain.

✅

Formally Verified Output

Built on EverParse and Z3 — every generated specification passes formal syntax verification before acceptance.

📡

Multi-Protocol

Demonstrated across 8 protocols: BGPv4, NTP, IGMP, BFD, BABEL, SCTP, DNS, and HTTP/2.

🔍

End-to-End Automation

From RFC document parsing to verified specification output, the entire pipeline runs automatically with minimal human intervention.