Upper Bound Computation of Information Leakages for Unbounded Recursion

@inproceedings{BechbergerWeigl2021,
  author    = {Johannes Bechberger and
               Alexander Weigl},
  editor    = {Radu Calinescu and
               Corina S. Pasareanu},
  title     = {Upper Bound Computation of Information Leakages for
               Unbounded Recursion},
  booktitle = {19th International Conference on Software Engineering
               and Formal Methods ({SEFM} 2021)},
  series    = {Lecture Notes in Computer Science},
  volume    = {13085},
  pages     = {160--177},
  publisher = {Springer},
  year      = {2021},
  doi       = {10.1007/978-3-030-92124-8\_10},
  month     = dec,
  find_pdf = {sefm2021.pdf}
}