@misc{indiciae452797457476,
  title = {Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin},
  author = {Matthias Cosler and Cas Cremers and Bernd Finkbeiner and Mohamed Ghanem and Niklas Medinger},
  year = {2026},
  url = {https://arxiv.org/abs/2605.23643},
  note = {Source identifier: 2605.23643}
}