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]
@inproceedings{XiongSHMWO20,
title = {SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies},
author = {Yan Xiong and Cheng Su and Wenchao Huang and Fuyou Miao and Wansen Wang and Hengyi Ouyang},
year = {2020},
url = {https://www.usenix.org/conference/usenixsecurity20/presentation/xiong},
researchr = {https://researchr.org/publication/XiongSHMWO20},
cites = {0},
citedby = {0},
pages = {253-270},
booktitle = {29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020},
editor = {Srdjan Capkun and Franziska Roesner},
publisher = {USENIX Association},
isbn = {978-1-939133-17-5},
}