Title: Verifying Security Protocols using Dynamic Strategies,
Abstract: 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 studies also validate
the effectiveness of our dynamic strategy.