activity
20242026
most citedA Comprehensive Review of Adversarial Attacks on Machine Learning

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.CR2026

Evaluating Large Language Models for Symbolic Security Protocol Analysis

Paolo Modesti, Syed Ahmed, Ioannis Sfyrakis +1

Security protocols verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether large language models (LLMs) can perform comparable analysis. We test…