TY  - RPRT
TI  - Evaluating Large Language Models for Symbolic Security Protocol Analysis
AU  - Paolo Modesti
AU  - Syed Ahmed
AU  - Ioannis Sfyrakis
AU  - Derek Enodolomwanyi
PY  - 2026
DO  - 10.3390/electronics15184141
UR  - https://arxiv.org/abs/2607.20712
ID  - 2607.20712
ER  -