@misc{indiciaee3436f0243fd,
  title = {PFMC: a parallel symbolic model checker for security protocol verification},
  author = {Alex James and Alwen Tiu and Nisansala Yatapanage},
  year = {2022},
  url = {https://arxiv.org/abs/2207.09895},
  note = {Source identifier: 2207.09895}
}