DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistingui…