Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems
Portfolio_Maria_Moragas