TY  - RPRT
TI  - CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
AU  - Cristian Curaba
AU  - Denis D'Ambrosi
AU  - Alessandro Minisini
AU  - Natalia Pérez-Campanero Antolín
PY  - 2024
UR  - https://arxiv.org/abs/2411.13627
ID  - 2411.13627
ER  -