@misc{indiciae92456204e8d6,
  title = {Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols},
  author = {Mariapia Raimondo and Stefano Marrone and Angelo Palladino},
  year = {2022},
  url = {https://arxiv.org/abs/2210.03020},
  note = {Source identifier: 2210.03020}
}