Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks.

Kangfeng Ye, Roberto Metere, Jim Woodcock, Poonam Yadav

Browse the full ICFEM paper archive.