Strands Rocq: Why is a Security Protocol Correct, Mechanically?

@misc{focardi2025strandsrocqwhy,
      title={Strands Rocq: Why is a Security Protocol Correct, Mechanically?}, 
      author={Riccardo Focardi and Flaminia L. Luccio and Matteo Busi},
      year={2025},
      eprint={2502.12848},
      archivePrefix={arXiv},
      primaryClass={cs.CR},
      url={https://arxiv.org/abs/2502.12848}, 
}