1 citations · 2 across the 4 of their papers we have counts for
3 papers · 1 filter
Toward a Unified Security and Privacy Framework for AI-Native 6G Networks
Bidushi Barua, Ahsan Khan, Kangfeng Ye +6
Sixth Generation (6G) communication networks are expected to evolve into AI-native, highly autonomous ecosystems that integrate communication, computing, sensing, and artificial in…
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…
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…