TY  - RPRT
TI  - Strands Rocq: Why is a Security Protocol Correct, Mechanically?
AU  - Matteo Busi
AU  - Riccardo Focardi
AU  - Flaminia L. Luccio
PY  - 2025
UR  - https://arxiv.org/abs/2502.12848
ID  - 2502.12848
ER  -