Formal Verification of Security Protocols: ProVerif and Extensions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiangyuan Yao, Chunxiang Xu, Deshun Li, Shengjun Lin, Xingcan Cao. Formal Verification of Security Protocols: ProVerif and Extensions. In Xingming Sun, Xiaorui Zhang, Zhihua Xia, Elisa Bertino, editors, Artificial Intelligence and Security - 8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part II. Volume 13339 of Lecture Notes in Computer Science, pages 500-512, Springer, 2022. [doi]

This author has not been identified. Look up 'Jiangyuan Yao' in GoogleThis author has not been identified. Look up 'Chunxiang Xu' in GoogleThis author has not been identified. Look up 'Deshun Li' in GoogleThis author has not been identified. Look up 'Shengjun Lin' in GoogleThis author has not been identified. Look up 'Xingcan Cao' in Google

runs on WebDSL