Computing the Leakage of Information-Hiding Systems.

Miguel E. Andrs, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith

Browse the full TACAS paper archive.