Poster: Automated Security Property Extraction from Protocol Specifications

Formal verification of network protocols is a security-by-design approach, but extracting security properties from long, complex specifications remains manual, time-consuming, labor-intensive, and error-prone. We propose SPARTA, a framework that automatically extracts useful security properties from network specifications leveraging large language models (LLMs) and a three-step retrieval-augmented generation (RAG) pipeline.