1 citations · 3 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.NI2024★ 1 cited
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…
cs.CR2024★ 1 cited
User-Guided Verification of Security Protocols via Sound Animation
Kangfeng Ye, Roberto Metere, Poonam Yadav
Current formal verification of security protocols relies on specialized researchers and complex tools, inaccessible to protocol designers who informally evaluate their work with em…