Matthias Cosler
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1ML×1
Frequent co-authors
Research Timeline
2026
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
The paper introduces a reinforcement learning framework, inspired by AlphaZero, to automate and improve the proof search process within the Tamarin protocol analysis tool, resulting in shorter and more numerous proofs.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.LGRecentMay 22, 2026
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
Matthias Cosler, Cas Cremers, Bernd Finkbeiner, Mohamed Ghanem +1 more
The paper introduces a reinforcement learning framework, inspired by AlphaZero, to automate and improve the proof search process within the Tamarin protocol analysis tool, resulting in shorter and mor…
View →