@techreport{SJM22,
  title         = {Modelling Agent-Skipping Attacks in Message Forwarding Protocols},
  author        = {Zach Smith and Hugo Jonker and Sjouke Mauw and Hyunwoo Lee},
  institution   = {ArXiv},
  year          = {2022},
  number        = {2201.08686},
  url           = {https://arxiv.org/abs/2201.08686}
}