TY  - RPRT
TI  - Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
AU  - Kangfeng Ye
AU  - Roberto Metere
AU  - Jim Woodcock
AU  - Poonam Yadav
PY  - 2025
UR  - https://arxiv.org/abs/2508.19430
ID  - 2508.19430
ER  -