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