Decision Procedures for Simulatability.

Charanjit S. Jutla, Arnab Roy

Browse the full ESORICS paper archive.