On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)

Yannick Chevalier, Kourjieh Mounira

Analysis of cryptographic protocols in a symbolic model is relative to a deduction system that models the possible actions of an attacker regarding an execution of this protocol. W…