@misc{indiciaedc6969f380db,
  title = {Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)},
  author = {Kangfeng Ye and Roberto Metere and Jim Woodcock and Poonam Yadav},
  year = {2025},
  url = {https://arxiv.org/abs/2508.19430},
  note = {Source identifier: 2508.19430}
}