cs.CR cs.AI cs.SC
CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
Cristian Curaba Denis D'Ambrosi Alessandro Minisini Natalia Pérez-Campanero Antolín