Upper Bound Computation of Information Leakages for Unbounded Recursion

Reviewed Paper In Proceedings

Author(s):Johannes Bechberger and Alexander Weigl
In:19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:13085
Year:2021
Pages:160-177
DOI:10.1007/978-3-030-92124-8_10

BibTeX

@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}
}