TY  - RPRT
TI  - Verification of Security Properties of Cryptographic Protocols
AU  - Simona Bernardi
AU  - Joaquín Ezpeleta
PY  - 2026
DO  - 10.1007/978-3-032-28957-5_14
UR  - https://arxiv.org/abs/2611.09315
ID  - 2611.09315
ER  -