Conditional Reactive Simulatability.

Michael Backes, Markus Drmuth, Dennis Hofheinz, Ralf Ksters

Browse the full ESORICS paper archive.