SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies. - Yan Xiong 001; Cheng Su; Wenchao Huang 001; Fuyou Miao 001; Wansen Wang 001; Hengyi Ouyang (USENIX Security Symposium, 2020)