@misc{indiciae9d2e63ec5a7a,
  title = {Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions},
  author = {Emanuele D'Osualdo and Felix Stutz},
  year = {2020},
  doi = {10.4230/lipics.concur.2020.31},
  url = {https://arxiv.org/abs/1911.05430},
  note = {Source identifier: 1911.05430}
}