Exploiting Symmetries When Proving Equivalence Properties for Security Protocols.

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Browse the full CCS paper archive.