DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice.

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Browse the full SP paper archive.