Automatic verification of Finite Variant Property beyond convergent equational theories

Vincent Cheval, Caroline Fontaine

Computer-aided analysis of security protocols heavily relies on equational theories to model cryptographic primitives. Most automated verifiers for security protocols focus on equa…