Towards the attacker's view of protocol narrations (or, how to compile security protocols).

Zhiwei Li, Weichao Wang

Browse the full CCS paper archive.