Exploiting Symmetries When Proving Equivalence Properties for Security Protocols.

Vincent Cheval Steve Kremer Itsaka Rakotonirina Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. 905-922 2019 CCS https://doi.org/10.1145/3319535.3354260 https://www.wikidata.org/entity/Q130974352 conf/ccs/2019 db/conf/ccs/ccs2019.html#ChevalKR19