Denis, D'Ambrosi

1 publications

NeurIPSW 2024 CryptoFormalEval: Integrating Large Language Models and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Cristian Curaba, D'Ambrosi Denis, Alessandro Minisini