Slide 1Computing the Leakage of Information-Hiding Systems Miguel E. Andrés Catuscia Palamidessi Radboud University, The Netherlands INRIA and LIX, France Peter Van Rossum…