@misc{indiciaef8af860fd340,
  title = {BMC4TimeSec: Verification Of Timed Security Protocols},
  author = {Agnieszka M. Zbrzezny},
  year = {2026},
  url = {https://arxiv.org/abs/2602.17590},
  note = {Source identifier: 2602.17590}
}