个人信息Personal Information
副教授
博士生导师
硕士生导师
电子邮箱：
SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies
点击次数：
发表刊物：Usenix Security Symposium
第一作者：Yan Xiong
合写作者：Cheng Su,Fuyou Miao,Wansen Wang,Hengyi Ouyang
通讯作者：Wenchao Huang
是否译文：否
发表时间：2020-09-01