# Verifying Security Protocols using Dynamic Strategies

arXiv: https://arxiv.org/abs/1807.00669 · HTML: https://mlsanity.com/paper/1807.00669/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 27 Jun 2018.

## Built on by (most cited first, 1 of 1)

- [Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin](https://mlsanity.com/paper/2605.23643/) (2026)

## Abstract (arXiv)

Current formal approaches have been successfully used to find design flaws in many security protocols. However, it is still challenging to automatically analyze protocols due to their large or infinite state spaces. In this paper, we propose a novel framework that can automatically verifying security protocols without any human intervention. Experimental results show that SmartVerif automatically verifies security protocols that cannot be automatically verified by existing approaches. The case study also validates the effectiveness of our dynamic strategy.