On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.

Liana Bozga, Cristian Ene, Yassine Lakhnech

Browse the full FOSSACS paper archive.