2 papers
cs.CR2025
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
Kangfeng Ye, Roberto Metere, Jim Woodcock +1
Formal verification is crucial for ensuring the robustness of security protocols against adversarial attacks. The Needham-Schroeder protocol, a foundational authentication mechanis…
cs.NI2024
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification
Roberto Metere, Kangfeng Ye, Yue Gu +4
As Open Radio Access Networks (O-RAN) continue to expand, AI-driven applications (xApps) are increasingly being deployed enhance network management. However, developing xApps witho…