@misc{indiciae23e7ba7d6cba,
  title = {Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin},
  author = {Di Long Li and Jim de Groot and Alwen Tiu},
  year = {2024},
  url = {https://arxiv.org/abs/2408.13138},
  note = {Source identifier: 2408.13138}
}