  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.
