Deciding Epistemic and Strategic Properties of Cryptographic Protocols.

Henning Schnoor

Browse the full ESORICS paper archive.