A Decision Procedure for Structured Cryptographic Protocols.

Franois Gagnon, Mohamed Mejri

Browse the full SoMeT paper archive.