Upper Bound Computation of Information Leakages for Unbounded Recursion. - Johannes Bechberger; Alexander Weigl (SEFM, 2021)