TY  - RPRT
TI  - Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
AU  - Matthias Cosler
AU  - Cas Cremers
AU  - Bernd Finkbeiner
AU  - Mohamed Ghanem
AU  - Niklas Medinger
PY  - 2026
UR  - https://arxiv.org/abs/2605.23643
ID  - 2605.23643
ER  -