We are delighted to share that Dr Kangfeng Ye’s paper, co-authored with Dr Roberto Metere, Prof Jim Woodcock, and Dr Poonam Yadav, has been accepted by the 26th International Conference on Formal Engineering Methods (ICFEM 2025).
The paper, entitled: “Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks”, is one of a number of recent contributions by Dr Ye in formal verification for next-generation telecoms and networking protocols.