PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification.

Alex James, Alwen Tiu, Nisansala Yatapanage

Browse the full ICFEM paper archive.