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 (CoRR, 2024)