Cosler, M., Cremers, C., Finkbeiner, B., Ghanem, M., & Medinger, N. (2026). Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin.
Chicago Style (17th ed.) CitationCosler, Matthias, Cas Cremers, Bernd Finkbeiner, Mohamed Ghanem, and Niklas Medinger. Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin. 2026.
MLA (9th ed.) CitationCosler, Matthias, et al. Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin. 2026.
Warning: These citations may not always be 100% accurate.