Yan Xiong, Cheng Su, Wenchao Huang, Fuyou Miao, Wansen Wang, Hengyi Ouyang. SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies. In Srdjan Capkun, Franziska Roesner, editors, 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020. pages 253-270, USENIX Association, 2020. [doi]
Abstract is missing.