Cita APA (7a ed.)

Curaba, C., D'Ambrosi, D., Minisini, A., & Antolín, N. P. (2024). CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection.

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

Curaba, Cristian, et al. CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection. 2024.