Evaluating Large Language Models for Symbolic Security Protocol Analysis

Paolo Modesti, Syed Ahmed, Ioannis Sfyrakis +1

Security protocol verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether Large Language Models (LLMs) can perform comparable analysis. We test…