SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yan Xiong' in GoogleThis author has not been identified. Look up 'Cheng Su' in GoogleThis author has not been identified. Look up 'Wenchao Huang' in GoogleThis author has not been identified. Look up 'Fuyou Miao' in GoogleThis author has not been identified. Look up 'Wansen Wang' in GoogleThis author has not been identified. Look up 'Hengyi Ouyang' in Google

runs on WebDSL