Kangfeng Ye, Roberto Metere, Jim Woodcock 0001, Poonam Yadav. Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks. In Étienne André, Jingyi Wang 0004, Naijun Zhan, editors, Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings. Volume 16229 of Lecture Notes in Computer Science, pages 1-21, Springer, 2025. [doi]
Abstract is missing.