Alvim, M.S. Chatzikokolakis, K. McIver, A. Morgan, C. Palamidessi, C. Smith, G., Quantitative information flow in sequential computer programs, Information Security and Cryptography, 225-253, 2020, Springer Science and Business Media Deutschland GmbH,