Cristian Curaba

Joined

September 2024

Names

Cristian Curaba (Preferred)

Emails

****@studenti.units.it (Confirmed)

Personal Links

Career & Education History

MS student

DMG, University of Trieste (units.it)

2022 – 2024

Undergrad student

DMIF, University of Udine (uniud.it)

2019 – 2022

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

CryptoFormalEval: Integrating Large Language Models and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
Cristian Curaba, D'Ambrosi Denis, Alessandro Minisini
- Sys2-Reasoning Poster
- Readers: Everyone

Co-Authors