A fine-tuned GPT-3.5 model translates natural-language security protocol descriptions into CPSA protocol definitions, outperforming general LLMs in syntactic accuracy on a 3-query human evaluation.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
ModelForge: Using GenAI to Improve the Development of Security Protocols
A fine-tuned GPT-3.5 model translates natural-language security protocol descriptions into CPSA protocol definitions, outperforming general LLMs in syntactic accuracy on a 3-query human evaluation.