Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ivan Gazeau, Steve Kremer. Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches. In Simon N. Foley, Dieter Gollmann, Einar Snekkenes, editors, Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II. Volume 10493 of Lecture Notes in Computer Science, pages 1-20, Springer, 2017. [doi]

This author has not been identified. Look up 'Ivan Gazeau' in GoogleThis author has not been identified. Look up 'Steve Kremer' in Google

runs on WebDSL