@INPROCEEDINGS{albanese2022hopping,
  AUTHOR =       {Massimiliano Albanese and Karin L. Johnsgard and Vipin Swarup},
  TITLE =        {A Formal Model for Credential Hopping Attacks},
  BOOKTITLE =    {Proceedings of the 27th European Symposium on Research in Computer Security (ESORICS 2022), Part I},
  YEAR =         {2022},
  editor =       {Vijayalakshmi Atluri and Roberto {Di Pietro} and Christian D. Jensen and Weizhi Meng},
  volume =       {13554},
  series =       {Lecture Notes in Computer Science},
  pages =        {367-386},
  address =      {Copenhagen, Denmark},
  month =        {September},
  publisher =    {Springer},
  doi =          {10.1007/978-3-031-17140-6_18}
}