@misc{indiciae7a4c03a44203,
  title = {Verification of Security Properties of Cryptographic Protocols},
  author = {Simona Bernardi and Joaquín Ezpeleta},
  year = {2026},
  doi = {10.1007/978-3-032-28957-5\_14},
  url = {https://arxiv.org/abs/2611.09315},
  note = {Source identifier: 2611.09315}
}