Quantifying Probabilistic Information Flow in Computational Reactive Systems.

Michael Backes

Browse the full ESORICS paper archive.