Computationally Sound Analysis of a Probabilistic Contract Signing Protocol.

Mihhail Aizatulin, Henning Schnoor, Thomas Wilke

Browse the full ESORICS paper archive.