Defendable Security in Interaction Protocols.

Wojciech Jamroga, Matthijs Melissen, Henning Schnoor

Browse the full PRIMA paper archive.