Exploiting Symmetries When Proving Equivalence Properties for Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina. Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. In Lorenzo Cavallaro, Johannes Kinder, Xiaofeng Wang 0001, Jonathan Katz, editors, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. pages 905-922, ACM, 2019. [doi]

This author has not been identified. Look up 'Vincent Cheval' in GoogleThis author has not been identified. Look up 'Steve Kremer' in GoogleThis author has not been identified. Look up 'Itsaka Rakotonirina' in Google

runs on WebDSL